{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:35Z","timestamp":1742635955008,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552512"},{"type":"electronic","value":"9783540467991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55251-0_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:55:54Z","timestamp":1330250154000},"page":"203-220","source":"Crossref","is-referenced-by-count":4,"title":["Must preorder in non-deterministic untyped \u03bb-calculus"],"prefix":"10.1007","author":[{"given":"U.","family":"De'Liguoro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Piperno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"11_CR1","unstructured":"S. Abramsky, C.H.L. Ong, Full Abstraction in the Lazy Lambda Calculus, Research Rep., Dept. of Comp., Imperial College 1989."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"E.A. Ashcroft, M.C.B. Hennessy, \u201cA mathematical Semantics for a Nondeterministic Typed Lambda Calculus\u201d, TCS 11, 1980.","DOI":"10.1016\/0304-3975(80)90015-8"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"E. Astesiano, G. Costa \u201cDistributive Semantics for Nondeterministic Typed \u03bbcalculi\u201d, TCS 32, 1984.","DOI":"10.1016\/0304-3975(84)90027-6"},{"key":"11_CR4","unstructured":"H.P. Barendregt, The Lambda-Calculus: Its Syntax and Semantics, North-Holland, 1984."},{"key":"11_CR5","unstructured":"C. B\u00f6hm, \u201cAlcune proprieta' delle forme \u03b2-gh-normali nel \u03bb-K-calcolo\u201d, Pubblicazioni dell' I.A.C. n. 696, Roma 1968."},{"key":"11_CR6","unstructured":"G. Boudol, \u201cA Lambda Calculus for Parallel Functions\u201d, INRIA Preprint, 1990."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"M. Coppo, M. Dezani-Ciancaglini, S. Ronchi della Rocca, \u201c(Semi)-separability of finite sets of terms in Scott's D \u221e-models of the \u03bb-calculus\u201d, LNCS 62, 1978.","DOI":"10.1007\/3-540-08860-1_12"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"U. de'Liguoro, \u201cNon deterministic untyped \u03bb-calculus\u201d, Ph.D. Thesis, 1991.","DOI":"10.1007\/3-540-55251-0_11"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"R. De Nicola, M.C.B. Hennessy, \u201cTesting Equivalences for Processes\u201d, TCS 34, 1983.","DOI":"10.1007\/BFb0036936"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"M.C.B. Hennessy, \u201cThe Semantics of Call-by-value and Call-by-name in a nondeterministic Environment\u201d, SIAM J. Comput. 9, 1980.","DOI":"10.1137\/0209005"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"M.C.B. Hennessy, G.D. Plotkin, \u201cFull Abstraction for a Simple Parallel Programming Language\u201d, LNCS 74, 1979.","DOI":"10.1007\/3-540-09526-8_8"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"J.R. Hindley, G. Longo, \u201cLambda Calculus Models and Extensionality\u201d, Z. Math. Logik Grundlag. Math. 26, 1980.","DOI":"10.1002\/malq.19800261902"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"M. Hyland, \u201cA Syntactic Characterization of the Equality in some Models for the Lambda Calculus\u201d, J. of the London Math. Soc. 12, 1976.","DOI":"10.1112\/jlms\/s2-12.3.361"},{"key":"11_CR14","unstructured":"R. Jagadeesan, P. Panangaden, \u201cA Domain-theoretic Model for a Higher-order Process Calculus\u201d, LNCS 443, 1990."},{"key":"11_CR15","unstructured":"R. Milner \u201cFunctions as Processes\u201d, LNCS 443, 1990."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"E. Moggi, \u201cNotions of Computation and Monads\u201d, Inf. Comp. 93, 1991.","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"11_CR17","unstructured":"J.H. Morris, Lambda Calculus Models of Programming Languages, Dissertation, M.I.T. 1968."},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"G.D. Plotkin, \u201cCall-by-name, Call-by-value and the \u03bb-calculus\u201d, TCS 1, 1975.","DOI":"10.1016\/0304-3975(75)90017-1"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"G.D. Plotkin, \u201cA Powerdomain Construction\u201d, SIAM J. of Comp. 5, 1976.","DOI":"10.1137\/0205035"},{"key":"11_CR20","unstructured":"K. Sharma, Syntactic Aspects of the Non-deterministic Lambda Calculus, Master's thesis, Washington State University, September 1984. Available as internal report CS-84-127 of the Comp. Sci Dept."},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"M.B. Smyth, \u201cPower Domains\u201d, J. Comp. Sys. Sci. 16, 1978.","DOI":"10.1016\/0022-0000(78)90048-X"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"B. Thomsen, \u201cA Calculus of Higher-Order Communicating Systems\u201d, ACM 143, 1989.","DOI":"10.1145\/75277.75290"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"C.P. Wadsworth, \u201cThe relation between computational and denotational properties for Scott's D \u221e-models of the lambda-calculus\u201d, SIAM J. of Comp. 5, 1976.","DOI":"10.1137\/0205036"}],"container-title":["Lecture Notes in Computer Science","CAAP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55251-0_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:31:34Z","timestamp":1742592694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55251-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552512","9783540467991"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-55251-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}