{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T22:53:59Z","timestamp":1773096839012,"version":"3.50.1"},"reference-count":37,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":5482,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1994,3]]},"abstract":"<jats:p>The categorical data types in models of second order lambda calculus are studied. We prove that Reynolds parametricity is a sufficient and necessary condition for the categorical data types to fulfill the universal properties.<\/jats:p>","DOI":"10.1017\/s0960129500000372","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:01:18Z","timestamp":1236157278000},"page":"71-109","source":"Crossref","is-referenced-by-count":28,"title":["Categorical data types in parametric polymorphism"],"prefix":"10.1017","volume":"4","author":[{"given":"Ryu","family":"Hasegawa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500000372_ref037","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/BFb0018348","article-title":"A note on categorical datatypes","volume":"389","author":"Wraith","year":"1989","journal-title":"Springer-Verlag Lecture Notes in Comput. Sci"},{"key":"S0960129500000372_ref036","volume-title":"Recursive types in second-order polymorphic lambda calculus","author":"Wadler","year":"1990"},{"key":"S0960129500000372_ref035","volume-title":"Fourth International Conf. Functional Programming Languages and Computer Architecture, London","author":"Wadler","year":"1989"},{"key":"S0960129500000372_ref033","first-page":"279","volume-title":"IEEE 22nd Annual Symp. on Foundations of Computer Science, Los Angeles","author":"Statman","year":"1981"},{"key":"S0960129500000372_ref032","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7"},{"key":"S0960129500000372_ref031","doi-asserted-by":"publisher","DOI":"10.1137\/0211062"},{"key":"S0960129500000372_ref030","doi-asserted-by":"publisher","DOI":"10.2307\/2273831"},{"key":"S0960129500000372_ref029","first-page":"127","volume-title":"Logical Foundations of Functional Programming","author":"Reynolds","year":"1990"},{"key":"S0960129500000372_ref028","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-13346-1_7"},{"key":"S0960129500000372_ref027","first-page":"513","article-title":"Types, abstraction, and parametric polymorphism","volume":"83","author":"Reynolds","year":"1983","journal-title":"Information Processing"},{"key":"S0960129500000372_ref026","volume-title":"Natural Deduction","author":"Prawitz","year":"1965"},{"key":"S0960129500000372_ref023","first-page":"308","volume-title":"Proc. of the 1986 Conf. on LISP and Functional Programming, Cambridge, Massachusetts","author":"Mitchell","year":"1986"},{"key":"S0960129500000372_ref022","first-page":"253","volume-title":"Fourteenth Annual Symp. on Principles of Programming Languages, Munich, West Germany, 1987","author":"Meyer","year":"1987"},{"key":"S0960129500000372_ref021","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"S0960129500000372_ref020","volume-title":"A higher-order calculus and theory abstraction","author":"Luo","year":"1988"},{"key":"S0960129500000372_ref019","volume-title":"Semantics of Natural and Computer Languages","author":"Longo","year":"1987"},{"key":"S0960129500000372_ref013","volume-title":"Proofs and Types","author":"Girard","year":"1989"},{"key":"S0960129500000372_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(86)90044-7"},{"key":"S0960129500000372_ref011","volume-title":"Interpr\u00e9tation fonctionnelle et \u00e9limination des coupures de l'arithm\u00e9tique d'ordre sup\u00e9rieur","author":"Girard","year":"1972"},{"key":"S0960129500000372_ref025","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18508-9_18"},{"key":"S0960129500000372_ref009","volume-title":"Structural polymorphism","author":"Freyd","year":"1989"},{"key":"S0960129500000372_ref008","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/092\/1003196"},{"key":"S0960129500000372_ref006","doi-asserted-by":"publisher","DOI":"10.1145\/322358.322370"},{"key":"S0960129500000372_ref018","doi-asserted-by":"publisher","DOI":"10.1007\/BF01752392"},{"key":"S0960129500000372_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51237-3_17"},{"key":"S0960129500000372_ref034","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"S0960129500000372_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70843-7"},{"key":"S0960129500000372_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90097-7"},{"key":"S0960129500000372_ref024","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0040259"},{"key":"S0960129500000372_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90044-I"},{"key":"S0960129500000372_ref014","unstructured":"Hasegawa R. (1989) Parametric polymorphism and internal representations of recursive type definitions, Masters Thesis, RIMS, Kyoto University."},{"key":"S0960129500000372_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(89)90068-0"},{"key":"S0960129500000372_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0061824"},{"key":"S0960129500000372_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/BF01110627"},{"key":"S0960129500000372_ref015","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(88)90018-8"},{"key":"S0960129500000372_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90135-5"},{"key":"S0960129500000372_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90151-7"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000372","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T19:03:18Z","timestamp":1557946998000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500000372\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["S0960129500000372"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500000372","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}