{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T21:41:34Z","timestamp":1780954894153,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540115762","type":"print"},{"value":"9783540393085","type":"electronic"}],"license":[{"start":{"date-parts":[[1982,1,1]],"date-time":"1982-01-01T00:00:00Z","timestamp":378691200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/bfb0012801","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T13:00:52Z","timestamp":1132750852000},"page":"577-610","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":283,"title":["Domains for denotational semantics"],"prefix":"10.1007","author":[{"given":"Dana S.","family":"Scott","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,10,22]]},"reference":[{"key":"50_CR1","volume-title":"Studies in Logic, vol. 103","author":"H.P. Barendregt","year":"1981","unstructured":"Barendregt, H.P. 1981 The Lambda Calculus: Its Syntax And Semantics. Studies in Logic, vol. 103, North Holland, New York (1981), xiv+615pp."},{"key":"50_CR2","volume-title":"Report of Ecole Nationale Sup\u00e9rience des Mines de Paris","author":"G. Berry","year":"1981","unstructured":"Berry, G. and Curien, P.L. 1981 Sequential algorithms on concrete data structures. Report of Ecole Nationale Sup\u00e9rience des Mines de Paris, Centre de Mathematiques Appliqu\u00e9es, Sophia Antipolis (1981)."},{"key":"50_CR3","unstructured":"Engeler, E. 1979 Algebras and combinators. Berichte des Instituts fur Informatik, Nr. 32, ETH Zurich, 12pp."},{"key":"50_CR4","doi-asserted-by":"crossref","unstructured":"Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. and Scott, D.S. 1980 A Compendium of Continuous Lattices. Springer-Verlag (1980), 371 pp.","DOI":"10.1007\/978-3-642-67678-9"},{"key":"50_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09724-4","volume-title":"Edinburgh LCF","author":"Michael J. Gordon","year":"1979","unstructured":"Gordon, M. J., Milner, A.J.R. and Wadsworth, C.P. 1979 Edinburgh LCF. Springer-Verlag Lecture Notes in Computer Science, vol. 78 (1979), 159 pp."},{"key":"50_CR6","doi-asserted-by":"crossref","unstructured":"Gordon, M. 1979 The Denotational Description of Programming Languages, An Introduction. Springer-Verlag (1979).","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"50_CR7","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MAHC.1981.10006","volume":"3","author":"S. A. Greibach","year":"1981","unstructured":"Greibach, S. A. 1981 Formal languages: origins and directions. Annals of the History of Computing, vol. 3 (1981), pp. 14\u201341.","journal-title":"Annals of the History of Computing"},{"key":"50_CR8","unstructured":"Kahn, G. and Plotkin, G. 1978 Domaines Concr\u00e8tes. Rapport IRIA-LABORIA, No. 336 (1978)."},{"key":"50_CR9","unstructured":"Longo, G. 1982 Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms. Preprint, Pisa (1982), 46pp."},{"key":"50_CR10","unstructured":"Meyer, A. R. 1981 What is a model of the lambda calculus?. (Expanded version) Preprint, MIT (1981), 40 pp."},{"key":"50_CR11","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G. and Winskel, G. 1981 Petri nets, event structures and domains. Theoretical Computer Science, vol. 13(1981), pp.85\u2013108.","journal-title":"Theoretical Computer Science"},{"key":"50_CR12","unstructured":"Plotkin, G.D. 1972 A set-theoretical definition of application. Memorandum MIP-R-95, School of Artificial Intelligence, University of Edinburgh, 32pp."},{"key":"50_CR13","unstructured":"1978 The category of complete partial orders: a tool for making meanings. In: Proc. Summer School on Foundations of Artificial Intelligence and Computer Science. Institute di Scienze dell' Informazione, Universita di Pisa (June 1978)."},{"key":"50_CR14","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1147\/rd.32.0114","volume":"3","author":"M. O. Rabin","year":"1959","unstructured":"Rabin, M. O. and Scott, D. S. 1959 Finite automata and their decision problems. IBM Journal Research and Development, vol. 3 (1959), pp. 114\u2013125.","journal-title":"IBM Journal Research and Development"},{"key":"50_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BFb0073967","volume":"274","author":"D.S. Scott","year":"1972","unstructured":"Scott, D.S. 1972 Continuous lattices. Springer Lecture Notes in Mathematics, vol. 274 (1972), pp. 97\u2013136.","journal-title":"Springer Lecture Notes in Mathematics"},{"key":"50_CR16","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D.S. Scott","year":"1976","unstructured":"Scott, D.S. 1976 Data types as lattices. SIAM Journal on Computing, vol. 5 (1976), pp. 522\u2013587.","journal-title":"SIAM Journal on Computing"},{"key":"50_CR17","unstructured":"1980a Lambda calculus: some models, some philosophy. The Kleene Symposium. Barwise, J., et al., eds., Studies in Logic 101, North Holland (1980), pp. 381\u2013421."},{"key":"50_CR18","unstructured":"1980b Relating theories of the \u03bb-calculus. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Seldin, J. P. and Hindley, J. R., eds., Academic Press (1980), pp. 403\u2013450."},{"key":"50_CR19","unstructured":"1980c Lectures on a mathematical theory of computation. Oxford University Computing Laboratory Technical Monograph PRG-19 (1981), 148pp."},{"key":"50_CR20","doi-asserted-by":"crossref","unstructured":"1982 Some ordered sets in computer science. In: Ordered Sets. I. Rival, ed., D. Reidel (1982), pp. 677\u2013718.","DOI":"10.1007\/978-94-009-7798-3_22"},{"key":"50_CR21","unstructured":"Smyth, M. and Plotkin, G. D. 1981 The categorical solution of recursive domain equations. SIAM Journal on Computation.. To appear (1981)."},{"key":"50_CR22","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J.E. Stoy","year":"1977","unstructured":"Stoy, J.E. 1977 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. M.I.T. Press, Cambridge, Mass., xxx\u2013414pp."},{"key":"50_CR23","unstructured":"Tennent, R.D. 1981 Principles of Programming languages. Prentice-Hall (1981), 271 pp.6."},{"key":"50_CR24","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1137\/0205036","volume":"5","author":"C. Wadsworth","year":"1976","unstructured":"Wadsworth, C. 1976 The relation between computational and denotational properties for Scott's Dt8-models of the lambdacalculus. SIAM Journal of Computing, vol. 5, pp. 488\u2013521.","journal-title":"SIAM Journal of Computing"},{"key":"50_CR25","unstructured":"Wilnskel, G. 1980 Events in Computation. Ph.D thesis, University of Edinburgh (1980)."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0012801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:59:06Z","timestamp":1558270746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012801"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540115762","9783540393085"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0012801","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982]]},"assertion":[{"value":"22 October 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}