{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:00:01Z","timestamp":1760079601658},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133469"},{"type":"electronic","value":"9783540388913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13346-1_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:05:22Z","timestamp":1330193122000},"page":"145-156","source":"Crossref","is-referenced-by-count":74,"title":["Polymorphism is not set-theoretic"],"prefix":"10.1007","author":[{"given":"John C.","family":"Reynolds","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-06859-7_148","volume-title":"Proc. Colloque sur la Programmation","author":"J. C. Reynolds","year":"1974","unstructured":"Reynolds, J. C., Towards a Theory of Type Structure, Proc. Colloque sur la Programmation, Lecture Notes in Computer Science 19, Springer-Verlag, New York, 1974, pp. 408\u2013425."},{"key":"7_CR2","unstructured":"Girard, J.-Y., Interpr\u00e9tation Fonctionelle et Elimination des Coupures dans l'Arithm\u00e9tique d'Ordre Sup\u00e9rieur, Th\u00e8se de Doctorat d'Etat, Paris, 1972."},{"key":"7_CR3","first-page":"513","volume-title":"Information Processing 83","author":"J. C. Reynolds","year":"1983","unstructured":"Reynolds, J. C., Types, Abstraction and Parametric Polymorphism, Information Processing 83, R. E. A. Mason (ed.), Elsevier Science Publishers B.V. (North-Holland) 1983, pp. 513\u2013523."},{"key":"7_CR4","unstructured":"Strachey, C., Fundamental Concepts in Programming Languages, Lecture Notes, International Summer School in Computer Programming, Copenhagen, August 1967."},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF01752392","volume":"14","author":"D. Lehmann","year":"1981","unstructured":"Lehmann, D., and Smyth, M. B., Algebraic Specification of Data Types: A Synthetic Approach, Math. Systems Theory 14 (1981), pp. 97\u2013139.","journal-title":"Math. Systems Theory"},{"issue":"4","key":"7_CR6","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M. B. Smyth","year":"1982","unstructured":"Smyth, M. B., and Plotkin, G. D., The Category-Theoretic Solution of Recursive Domain Equations, SIAM Journal on Computing 11, 4 (November 1982), pp. 761\u2013783.","journal-title":"SIAM Journal on Computing"},{"key":"7_CR7","first-page":"95","volume-title":"Arrows, Structures, and Functors: The Categorical Imperative","author":"M. A. Arbib","year":"1975","unstructured":"Arbib, M. A., and Manes, E. G., Arrows, Structures, and Functors: The Categorical Imperative, Academic Press, New York, 1975, p. 95."},{"key":"7_CR8","unstructured":"McCracken, N. J., An Investigation of a Programming Language with a Polymorphic Type Structure, Ph. D. dissertation, Syracuse University, June 1979."},{"key":"7_CR9","unstructured":"McCracken, N. J., A Finitary Retract Model for the Polymorphic Lambda-Calculus, to appear in Information and Control."},{"issue":"1","key":"7_CR10","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/322358.322370","volume":"30","author":"S. Fortune","year":"1983","unstructured":"Fortune, S., Leivant, D., and O'Donnell, M., The Expressiveness of Simple and Second-Order Type Structures, Journal of the ACM 30, 1 (January 1983), pp. 151\u2013185.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Semantics of Data Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13346-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:52:54Z","timestamp":1619556774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13346-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133469","9783540388913"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-13346-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}