{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:02:11Z","timestamp":1743015731543,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156482"},{"type":"electronic","value":"9783540395270"}],"license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"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":[[1985]]},"DOI":"10.1007\/3-540-15648-8_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:21:40Z","timestamp":1330176100000},"page":"23-40","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Lambda calculus with constrained types"],"prefix":"10.1007","author":[{"given":"Val","family":"Breazu-Tannen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert R.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"3_CR1","unstructured":"Barendregt, Henk P. Studies in Logic. Volume 103: The Lambda Calculus: Its Syntax and Semantics. North-Holland, 1984. 2nd & revised edition."},{"key":"3_CR2","unstructured":"Curien, P-L. Combinateurs Cat\u00e9goriques, Algorithmes S\u00e9quentiels et Programmation Applicative. PhD thesis, Universit\u00e9 Paris VII, 1983."},{"key":"3_CR3","volume-title":"Category-Theoretic Logics and Algebras of Programs","author":"P. Dybjer","year":"1983","unstructured":"Dybjer, P. Category-Theoretic Logics and Algebras of Programs. PhD thesis, Chalmers University of Technology, Sweden, 1983."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Friedman, H. Equality between functionals. In R. Parikh (editor), LNMath. Volume 453: Logic Colloqium, 73, pages 22\u201337. Springer-Verlag, 1975.","DOI":"10.1007\/BFb0064870"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Halpern, Joseph Y., Albert R. Meyer, and Boris Trakhtenbrot. The semantics of local storage, or what makes the free-list free? In 11th ACM Symp. on Principles of Programming Languages, pages 245\u2013257., 1984.","DOI":"10.1145\/800017.800536"},{"key":"3_CR6","first-page":"289","volume":"26","author":"R. Hindley","year":"1980","unstructured":"Hindley, R., and G. Longo. Lambda-calculus models and extensionality. ZMLGM 26:289\u2013310, 1980.","journal-title":"ZMLGM"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1016\/S0019-9958(82)90796-3","volume":"52","author":"C. P. Koymans","year":"1982","unstructured":"Koymans, Christiaan P.J. Models of the \u03bb-calculus. Information and Control 52:306\u2013332, 1982.","journal-title":"Information and Control"},{"key":"3_CR8","unstructured":"Koymans, Christiaan P.J. Models of the Lambda Calculus. PhD thesis, University of Utrecht, 1984."},{"key":"3_CR9","unstructured":"Lambek, J. Deductive Systems and Categories III. In Lawvere, F.W. (editor), Lecture Notes in Mathematics. Volume 274: Toposes, Algebraic Geometry and Logic; Proc. 1971 Dahlhousie Conf., pages 57\u201382. Springer-Verlag, 1972."},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0003-4843(74)90003-5","volume":"6","author":"J. Lambek","year":"1974","unstructured":"Lambek, J. Functional Completeness of Cartesian Categories. Ann. Math. Logic 6:259\u2013292, 1974.","journal-title":"Ann. Math. Logic"},{"key":"3_CR11","unstructured":"Lambek, J. From lambda calculus to cartesian closed categories. In Seldin, J.P. and J.R. Hindley (editors), To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 375\u2013402. Academic Press, 1980."},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1090\/conm\/030\/749773","volume":"30","author":"J. Lambek","year":"1984","unstructured":"Lambek, J. and P. J. Scott. Aspects of Higher-Order Categorical Logic. Contemporary Mathematics 30:145\u2013174, 1984.","journal-title":"Contemporary Mathematics"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0019-9958(82)80087-9","volume":"52","author":"A. R. Meyer","year":"1982","unstructured":"Meyer, Albert R. What is a model of the lambda calculus? Information and Control 52:87\u2013122, 1982.","journal-title":"Information and Control"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Mitchell, John C. Semantic models for second-order lambda calculus. In Proc. 25\nth\nIEEE Symp. on Foundations of Computer Science, pages 289\u2013299., 1984.","DOI":"10.1109\/SFCS.1984.715927"},{"key":"3_CR15","unstructured":"Parsaye-Ghomi, K. Higher Order Abstract Data Types. PhD thesis, University of California, 1981."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Poign\u00e9, A. Higher-Order data Structures-Cartesian Closure Versus \u03bb-Calculus. In LNCS. Volume 166: Symposium of Theoretical Aspects of Computer Science, Proceedings, pages 174\u2013185. Springer-Verlag, 1984.","DOI":"10.1007\/3-540-12920-0_16"},{"key":"3_CR17","unstructured":"Poign\u00e9, A. On Specifications, Theories and Models with Higher Types. 1984. to appear Information and Control."},{"key":"3_CR18","unstructured":"Scott, Dana S. Continuous Lattices. In Lawvere, F.W. (editor), Lecture Notes in Mathematics. Volume 274: Toposes, Algebraic Geometry and Logic; Proc. 1971 Dahlhousie Conf., pages 97\u2013136. Springer-Verlag, 1972."},{"key":"3_CR19","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. S. Scott","year":"1976","unstructured":"Scott, Dana S. Data types as lattices. SIAM J. Computing 5:522\u2013587, 1976.","journal-title":"SIAM J. Computing"},{"key":"3_CR20","unstructured":"Scott, Dana S. Relating theories of the lambda calculus. In Seldin, J.P. and J.R. Hindley (editors), To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 403\u2013450. Academic Press, 1980."},{"key":"3_CR21","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M.B. Smyth","year":"1982","unstructured":"Smyth, M.B., and Gordon D. Plotkin. The category-theoretic solution of recursive domain equations. SIAM J. Computing 11:761\u2013783, 1982.","journal-title":"SIAM J. Computing"},{"key":"3_CR22","first-page":"1","volume":"22","author":"R. Statman","year":"1982","unstructured":"Statman, R. \u03bb-definable functionals and \u03b2 \u03b7 conversion. Archiv fur Mathematische Logik und Grundlagenforschung 22:1\u20136, 1982.","journal-title":"Archiv fur Mathematische Logik und Grundlagenforschung"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Statman, R. Equality between functionals, revisited. 1984. Friedman Volume, to appear.","DOI":"10.1016\/S0049-237X(09)70166-1"},{"key":"3_CR24","unstructured":"Statman, R. Logical relations in the typed lambda-calculus. 1984. To appear, Information and Control."},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Wand, Mitchell. Fixed-point Constructions in Order-enriched Categories. Theoretical Computer Science:13\u201330, 1979.","DOI":"10.1016\/0304-3975(79)90053-7"}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15648-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T18:49:59Z","timestamp":1578509399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15648-8_3"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156482","9783540395270"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-15648-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}