{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T02:58:37Z","timestamp":1648609117811},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"value":"0387973753","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0040272","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T17:01:43Z","timestamp":1155834103000},"page":"418-439","source":"Crossref","is-referenced-by-count":0,"title":["Initial algebra semantics for lambda calculi"],"prefix":"10.1007","author":[{"given":"John W.","family":"Gray","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"K.B. Bruce and G. Longo, A modest model of records, inheritance and bounded quantification, in Logic in Computer Science, Proceedings Third Annual Symposium, Edinburgh, Scotland, 1988, Computer Society Press, Washington, D. C., 38\u201350."},{"key":"21_CR2","doi-asserted-by":"crossref","volume-title":"Fundamentals of Algebraic Specification 1","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1, Springer-Verlag, New York, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"21_CR3","first-page":"2","volume-title":"Mathematical Foundations of Programming Language Semantics","author":"J. W. Gray","year":"1987","unstructured":"J W. Gray, A categorical treatment of polymorphic operations, in Mathematical Foundations of Programming Language Semantics, M. Main, A Melton, M. Mislove and D. Schmidt, Eds., 3rd Workshop, New Orleans 1987, Lecture Notes in Computer Science 298, Springer-Verlag, New York, 1987., 2\u201322."},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. Int. Workshop on Categorical Mathods in Computer Science with Aspects from Topology","author":"J. W. Gray","year":"1989","unstructured":"J. W. Gray, The Integration of Logical and Algebraic Types, Proc. Int. Workshop on Categorical Mathods in Computer Science with Aspects from Topology, Lecture Notes in Computer Science, Springer-Verlag, New York, 1989, to appear."},{"key":"21_CR5","unstructured":"C. A. Gunter, P. D. Mosses, and D. S. Scott, Semantic domains and denotational semantics, in Handbook of Theoretical Computer Science, North Holland, to appear."},{"key":"21_CR6","volume-title":"The L.E.J. Brouwer Centenary Symposium","author":"J. M. E. Hyland","year":"1982","unstructured":"J. M. E. Hyland, The effective topos, in The L.E.J. Brouwer Centenary Symposium, A. S. Troelstra and D. van Dalen, Eds., North-Holland, Amsterdam, 1982."},{"key":"21_CR7","unstructured":"J. M. E. Hyland, "},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF01110627","volume":"103","author":"J. Lambek","year":"1968","unstructured":"J. Lambek, A fixpoint theorem for complete categories, Math. Zeitschr. 103 (1968), 151\u2013161.","journal-title":"Math. Zeitschr."},{"key":"21_CR9","series-title":"Cambridge Studies in Advanced Mathematics","volume-title":"Introduction to Higher Order Categorical Logic","author":"J. Lambek","year":"1986","unstructured":"J. Lambek and P. Scott, Introduction to Higher Order Categorical Logic, Cambridge Studies in Advanced Mathematics 7, Cambridge University Press, New York, 1986."},{"key":"21_CR10","volume-title":"Semantics of Natural and Computer Languages","author":"G. Longo","year":"1989","unstructured":"G. Longo and E. Moggi, Constructive natural deduction and its \u2018Modest\u2019 interpretation, in Semantics of Natural and Computer Languages, J. Meseguer et al, Eds., M. I. T. Press, Cambridge, MA, 1989."},{"key":"21_CR11","doi-asserted-by":"crossref","volume-title":"Algebraic Approaches to Program Semantics","author":"E. Manes","year":"1986","unstructured":"E. Manes and M. Arbib, Algebraic Approaches to Program Semantics, Springer-Verlag, New York, 1986.","DOI":"10.1007\/978-1-4612-4962-7"},{"key":"21_CR12","unstructured":"F. Oles, A category-theoretic approach to the semantics of programming languages, Thesis, Syracuse University, 1982."},{"key":"21_CR13","unstructured":"F. Oles, Lambda Calculi with implicit type conversions"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"J. C. Reynolds, Towards a theory of type structures, in Colloque sur la Programmation, Lecture Notes in Computer Science 19, Springer-Verlag 1974, 408\u2013425.","DOI":"10.1007\/3-540-06859-7_148"},{"key":"21_CR15","unstructured":"J. C. Reynolds, Types, abstraction, and parametric polymorphism, IFIP 83, Paris."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"J. C. Reynolds, Polymorphism is not set-theoretic, in [LNCS 173], 145\u2013156.","DOI":"10.1007\/3-540-13346-1_7"},{"key":"21_CR17","volume-title":"TYPSOFT advanced seminar on the role of semantics in software development","author":"J. C. Reynolds","year":"1985","unstructured":"J. C. Reynolds, Three approaches to type structure. In TYPSOFT advanced seminar on the role of semantics in software development, Springer-Verlag, New York, 1985."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0040272.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:40:02Z","timestamp":1607550002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0040272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387973753"],"references-count":17,"URL":"http:\/\/dx.doi.org\/10.1007\/bfb0040272","relation":{}}}