{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T06:40:11Z","timestamp":1790059211816,"version":"4.0.1"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319235059","type":"print"},{"value":"9783319235066","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23506-6_7","type":"book-chapter","created":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T11:50:40Z","timestamp":1441281040000},"page":"65-82","source":"Crossref","is-referenced-by-count":6,"title":["On Applicative Similarity, Sequentiality, and Full Abstraction"],"prefix":"10.1007","author":[{"given":"Rapha\u00eblle","family":"Crubill\u00e9","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ugo","family":"Dal Lago","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davide","family":"Sangiorgi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Valeria","family":"Vignudelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,11,10]]},"reference":[{"key":"7_CR1","unstructured":"Abramsky, S.: The lazy $$\\lambda $$ -Calculus. In: Turner, D. (ed.) Research Topics in Functional Programming, pp. 65\u2013117. Addison Wesley (1990)"},{"issue":"2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1006\/inco.1993.1044","volume":"105","author":"S Abramsky","year":"1993","unstructured":"Abramsky, S., Ong, C.-H.L.: Full abstraction in the lazy lambda calculus. Inf. Comput. 105(2), 159\u2013267 (1993)","journal-title":"Inf. Comput."},{"issue":"5","key":"7_CR3","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1109\/TPAMI.2003.1195991","volume":"25","author":"D Comaniciu","year":"2003","unstructured":"Comaniciu, D., Ramesh, V., Meer, P.: Kernel-based object tracking. IEEE Trans. on Pattern Analysis and Machine Intelligence 25(5), 564\u2013577 (2003)","journal-title":"IEEE Trans. on Pattern Analysis and Machine Intelligence"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Crubill\u00e9, R., Dal Lago, U.: On probabilistic applicative bisimulation and call-by-value $$\\lambda $$ -calculi (long version). CoRR, abs\/1401.3766 (2014)","DOI":"10.1007\/978-3-642-54833-8_12"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Dal Lago, U., Sangiorgi, D., Alberti, M.: On coinductive equivalences for higher-order probabilistic functional programs (long version). CoRR, abs\/1311.1722 (2013)","DOI":"10.1145\/2535838.2535872"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Dal Lago, U., Sangiorgi, D., Alberti, M.: On coinductive equivalences for higher-order probabilistic functional programs. In: POPL, pp. 297\u2013308 (2014)","DOI":"10.1145\/2535838.2535872"},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1051\/ita\/2012012","volume":"46","author":"U Dal Lago","year":"2012","unstructured":"Dal Lago, U., Zorzi, M.: Probabilistic operational semantics for the lambda calculus. RAIRO - Theor. Inf. and Applic. 46(3), 413\u2013450 (2012)","journal-title":"RAIRO - Theor. Inf. and Applic."},{"issue":"3","key":"7_CR8","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/507382.507385","volume":"3","author":"V Danos","year":"2002","unstructured":"Danos, V., Harmer, R.: Probabilistic game semantics. ACM Trans. Comput. Log. 3(3), 359\u2013382 (2002)","journal-title":"ACM Trans. Comput. Log."},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1006\/inco.2001.2962","volume":"179","author":"J Desharnais","year":"2002","unstructured":"Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. Inf. Comput. 179(2), 163\u2013193 (2002)","journal-title":"Inf. Comput."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Ehrhard, T., Tasson, C., Pagani, M.: Probabilistic coherence spaces are fully abstract for probabilistic PCF. In: POPL, pp 309\u2013320 (2014)","DOI":"10.1145\/2535838.2535865"},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1016\/0022-0000(84)90070-9","volume":"28","author":"S Goldwasser","year":"1984","unstructured":"Goldwasser, S., Micali, S.: Probabilistic encryption. J. Comput. Syst. Sci. 28(2), 270\u2013299 (1984)","journal-title":"J. Comput. Syst. Sci."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Goodman, N.D.: The principles and practice of probabilistic programming. In: POPL, pp. 399\u2013402 (2013)","DOI":"10.1145\/2480359.2429117"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Jones, C., Plotkin, G.D.: A probabilistic powerdomain of evaluations. In: LICS, pp. 186\u2013195 (1989)","DOI":"10.1109\/LICS.1989.39173"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Lassen, S.B.: Relational Reasoning about Functions and Nondeterminism. PhD thesis, University of Aarhus (1998)","DOI":"10.7146\/brics.v4i24.18950"},{"key":"7_CR16","unstructured":"Manning, C.D., Sch\u00fctze, H.: Foundations of statistical natural language processing, vol. 999. MIT Press (1999)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Ong, C.-H.L.: Non-determinism in a functional setting. In: LICS, pp. 275\u2013286 (1993)","DOI":"10.1109\/LICS.1993.287580"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Park, S., Pfenning, F., Thrun, S.: A probabilistic language based on sampling functions. ACM Trans. Program. Lang. Syst. 31(1) (2008)","DOI":"10.1145\/1452044.1452048"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Pearl, J.: Probabilistic reasoning in intelligent systems: networks of plausible inference. Morgan Kaufmann (1988)","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"7_CR20","unstructured":"Pfeffer, A.: IBAL: A probabilistic rational programming language. In: IJCAI, pp. 733\u2013740. Morgan Kaufmann (2001)"},{"issue":"3","key":"7_CR21","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"GD Plotkin","year":"1977","unstructured":"Plotkin, G.D.: LCF considered as a programming language. Theor. Comput. Sci. 5(3), 223\u2013255 (1977)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Ramsey, N., Pfeffer, A.: Stochastic lambda calculus and monads of probability distributions. In: POPL, pp. 154\u2013165 (2002)","DOI":"10.1145\/565816.503288"},{"key":"7_CR23","unstructured":"Thrun, S.: Robotic mapping: A survey. Exploring Artificial Intelligence in the New Millennium, pp. 1\u201335 (2002)"},{"issue":"1\u20132","key":"7_CR24","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.tcs.2004.10.021","volume":"333","author":"F Breugel van","year":"2005","unstructured":"van Breugel, F., Mislove, M.W., Ouaknine, J., Worrell, J.: Domain theory, testing and simulation for labelled markov processes. Theor. Comput. Sci. 333(1\u20132), 171\u2013197 (2005)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Correct System Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23506-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T11:47:17Z","timestamp":1748605637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23506-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319235059","9783319235066"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23506-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}