{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:12Z","timestamp":1761611172932},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540565178"},{"type":"electronic","value":"9783540475866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bfb0037102","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:21:36Z","timestamp":1138184496000},"page":"124-138","source":"Crossref","is-referenced-by-count":8,"title":["An abstract notion of application"],"prefix":"10.1007","author":[{"given":"Pietro","family":"Di Gianantonio","sequence":"first","affiliation":[]},{"given":"Furio","family":"Honsell","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,28]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"S.Abramsky: Domain Theory in Logical Form. Annals of Pure and Applied Logic, (1991)","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"9_CR2","volume-title":"Studies in Logic","author":"H. Barendregt","year":"1984","unstructured":"H.Barendregt: Lambda Calculus: its Syntax and Semantics revised version. Studies in Logic. Amsterdam: North Holland 1984"},{"key":"9_CR3","first-page":"4","volume":"48","author":"H. Barendregt","year":"1983","unstructured":"H.Barendregt, M.Coppo, M.Dezani, Ciancaglini: A Filter Lambda Model and the Completeness of Type Assignment, Journal to Symbolic Logic, 48, 4 (1983)","journal-title":"Journal to Symbolic Logic"},{"key":"9_CR4","volume-title":"Logic Colloquium'82","author":"M. Coppo","year":"1983","unstructured":"M.Coppo, M.Dezani Ciancaglini, F.Honsell, G.Longo: Extended Type Structures and Filter Lambda Models. In: G.Longo et al. (eds.): Logic Colloquium'82. Amsterdam: North Holland 1983"},{"key":"9_CR5","unstructured":"M.Coppo, M.Dezani Ciancaglini, B.Venneri: Principal Type Schemes and Lambda Calculus Semantics. In: J.Seldin et al. (eds): To H.B.Curry: Essays. Academic Press 1980"},{"key":"9_CR6","unstructured":"P.Di Gianantonio, F.Honsell: A General Type Assignment System for an Abstract Notion of Domain. Talks given at the 4th and 6th Meetings of the Jumelage Typed Lambda Calculus. Edinburgh, October 1989 and Paris, January 1991"},{"key":"9_CR7","volume-title":"Berichte des Instituts f. Informatik 32","author":"E. Engeler","year":"1979","unstructured":"E.Engeler: Algebras and Combinators. Berichte des Instituts f. Informatik 32, ETH, Zurich 1979"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/0168-0072(88)90025-5","volume":"37","author":"J.Y. Girard","year":"1988","unstructured":"J.Y.Girard: Normal Functors Power Series and Lambda Calculus. Annals of Pure and Applied Logic, 37, 2 (1988)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"R.Hindley, G.Longo: Lambda Calculus Models and Extensionalily. Zeit. f. Math. Logik u. Grund. d. Math., 26 (1980)","DOI":"10.1002\/malq.19800261902"},{"key":"9_CR10","unstructured":"F.Honsell, S.Ronchi della Rocca: Reasoning about interpretations in qualitative Lambda Models. In: M.Broy et al. (eds.) Programming Concepts and Methods. 1990"},{"key":"9_CR11","unstructured":"F.Lamarche: Quantitative Domains and Infinitary Algebras. Unpublished manuscript, 1990"},{"key":"9_CR12","unstructured":"Ch.-E.Ore: Introducing Girard's quantitative domains. PhD Thesis, Research Report 113. University of Oslo 1988"},{"key":"9_CR13","unstructured":"G.Plotkin: A set-theoretical definition of application. Memorandum MIP-R-95, School of Artificial Intelligence, University of Edinburgh, 1972"},{"key":"9_CR14","unstructured":"G.Plotkin: Domains for Denotational Semantics, course notes, Stanford 1985"},{"key":"9_CR15","unstructured":"D.Scott: Some philosophical issues concerning theories of combinators, lambda calculus and computer science theory. In LNCS 37, Springer Verlag, 1975"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"D.Scott: Data Types as Lattices. SIAM Journal of computing, 5 (1976)","DOI":"10.1137\/0205037"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T10:36:28Z","timestamp":1555410988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540565178","9783540475866"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0037102","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}