{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T19:40:21Z","timestamp":1739302821119,"version":"3.37.0"},"reference-count":23,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2009,8,1]],"date-time":"2009-08-01T00:00:00Z","timestamp":1249084800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":1458,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1016\/j.entcs.2009.07.101","type":"journal-article","created":{"date-parts":[[2009,8,16]],"date-time":"2009-08-16T08:24:48Z","timestamp":1250411088000},"page":"429-449","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["Logical Semantics for Stability"],"prefix":"10.1016","volume":"249","author":[{"given":"Luca","family":"Paolini","sequence":"first","affiliation":[]},{"given":"Mauro","family":"Piccolo","sequence":"additional","affiliation":[]},{"given":"Simona","family":"Ronchi Della Rocca","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2009.07.101_bib001","series-title":"Research Topics in Functional Programming","first-page":"65","article-title":"The lazy lambda-calculus","author":"Abramsky","year":"1990"},{"issue":"1\u20132","key":"10.1016\/j.entcs.2009.07.101_bib002","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(91)90065-T","article-title":"Domain theory in logical form","volume":"51","author":"Abramsky","year":"1991","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"10.1016\/j.entcs.2009.07.101_bib003","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1006\/inco.1993.1044","article-title":"Full abstraction in the lazy lambda calculus","volume":"105","author":"Abramsky","year":"1993","journal-title":"Information and Computation"},{"key":"10.1016\/j.entcs.2009.07.101_bib004","article-title":"The Lambda Calculus: Its Syntax and Semantics","volume":"volume 103","author":"Barendregt","year":"1984"},{"issue":"4","key":"10.1016\/j.entcs.2009.07.101_bib005","doi-asserted-by":"crossref","first-page":"931","DOI":"10.2307\/2273659","article-title":"A filter lambda model and the completeness of type assignment","volume":"48","author":"Barendregt","year":"1983","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/j.entcs.2009.07.101_bib006","series-title":"Programming Concepts and Methods, International Conference on Programming Concepts and Methods","first-page":"30","article-title":"Structures for lazy semantics","author":"Bastonero","year":"1998"},{"key":"10.1016\/j.entcs.2009.07.101_bib007","series-title":"Fifth International Colloquium on Automata, Languages and Programming","first-page":"72","article-title":"Stable models of typed \u03bb-calculi","volume":"volume 62","author":"Berry","year":"1978"},{"issue":"4","key":"10.1016\/j.entcs.2009.07.101_bib008","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1305\/ndjfl\/1093883253","article-title":"An extension of the basic functionality theory for the \u03bb-calculus","volume":"21","author":"Coppo","year":"1980","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/j.entcs.2009.07.101_bib009","series-title":"Logic Colloquim'82","first-page":"241","article-title":"Extended type structure and filter lambda models","author":"Coppo","year":"1984"},{"issue":"2","key":"10.1016\/j.entcs.2009.07.101_bib010","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0890-5401(87)90042-3","article-title":"Type theories, normal forms, and D\u221e-lambda-models","volume":"72","author":"Coppo","year":"1987","journal-title":"Information and Computation"},{"issue":"1\u20133","key":"10.1016\/j.entcs.2009.07.101_bib011","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.tcs.2004.01.023","article-title":"Behavioural inverse limit lambda-models","volume":"316","author":"Dezani-Ciancaglini","year":"2004","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10.1016\/j.entcs.2009.07.101_bib012","doi-asserted-by":"crossref","first-page":"149","DOI":"10.3233\/FI-1992-16205","article-title":"Operational, denotational and logical descriptions: a case study","volume":"16","author":"Egidi","year":"1992","journal-title":"Fundamenta Informatic\u00e6"},{"issue":"2","key":"10.1016\/j.entcs.2009.07.101_bib013","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0304-3975(86)90044-7","article-title":"The System F of variable types, fifteen years later","volume":"45","author":"Girard","year":"1986","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.entcs.2009.07.101_bib014","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.entcs.2009.07.101_bib015","series-title":"Cambridge Tracts in Theoretical Computer Science","article-title":"Proofs and Types","author":"Girard","year":"1989"},{"key":"10.1016\/j.entcs.2009.07.101_bib016","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1002\/malq.19800261902","article-title":"Lambda calculus models and extensionality","volume":"26","author":"Hindley","year":"1980","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"unstructured":"Furio Honsell and Simona Ronchi della Rocca. Reasoning about interpretation in qualitative lambda-models. In M. Broy and C.B. Jones, editors, Proceedings of Working Conference on Programming Concepts and Methods \u2013 IFIP 2.2, pages 505\u2013521, Sea of Galilee, Israel, 1990. North-Holland","key":"10.1016\/j.entcs.2009.07.101_bib017"},{"issue":"1","key":"10.1016\/j.entcs.2009.07.101_bib018","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0022-0000(92)90040-P","article-title":"An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus","volume":"45","author":"Honsell","year":"1992","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"10.1016\/j.entcs.2009.07.101_bib019","first-page":"306","article-title":"Models of the lambda calculus","volume":"52","author":"Koymans","year":"1982","journal-title":"Information and Computation"},{"issue":"1","key":"10.1016\/j.entcs.2009.07.101_bib020","first-page":"87","article-title":"What is a model of the lambda calculus?","volume":"52","author":"Meyer","year":"1982","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"C.-H. Luke Ong. Fully abstract models of the lazy lambda calculus. In Proceedings of the 29th Annual Symposium on Foundations of Computer Science \u2013 FOCS'88, pages 368\u2013376, White Plains, New York, 24\u201326 October 1988. IEEE Computer Society Press","key":"10.1016\/j.entcs.2009.07.101_bib021","DOI":"10.1109\/SFCS.1988.21953"},{"doi-asserted-by":"crossref","unstructured":"Gordon D. Plotkin. Set-theoretical and other elementary models of the \u03bb-calculus. In Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, and Marisa Venturini-Zilli, editors, Theoretical Computer Science, volume 121(1\u20132), pages 351\u2013409. Logic, Semantics and Theory of Programming, 6 December 1993. A Collection of Contributions in Honour of Corrado Bhm on the Occasion of his 70th Birthday","key":"10.1016\/j.entcs.2009.07.101_bib022","DOI":"10.1016\/0304-3975(93)90094-A"},{"key":"10.1016\/j.entcs.2009.07.101_bib023","series-title":"Texts in Theoretical Computer Science","article-title":"The Parametric \u03bb-Calculus: a Metamodel for Computation","author":"Ronchi Della Rocca","year":"2004"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066109003235?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066109003235?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T19:25:55Z","timestamp":1739301955000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066109003235"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":23,"alternative-id":["S1571066109003235"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2009.07.101","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2009,8]]}}}