{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:21:37Z","timestamp":1751660497842},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540590484"},{"type":"electronic","value":"9783540491781"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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":[[1995]]},"DOI":"10.1007\/bfb0014043","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:50:31Z","timestamp":1132714231000},"page":"32-46","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A model for formal parametric polymorphism: A per interpretation for system R"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bellucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Abadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Louis","family":"Curien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Cardelli, and P.-L. Curien. Formal parametric polymorphism. In A Collection of Contributions in Honour of Corrado B\u00f6hm on the Occasion of his 70th Birthday, volume 121 of Thoretical Computer Science, pages 9\u201358, 1993. An early version appeared in the Proceedings of the 20th Ann. ACM Sump. on Principles of Programming Languages.","DOI":"10.1145\/158511.158622"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90024-A","volume":"99","author":"A. Asperti","year":"1992","unstructured":"A. Asperti and S. Martini. Categorical models of polymorphism. Information and Computation, 99:1\u201379, 1992.","journal-title":"Information and Computation"},{"key":"3_CR3","unstructured":"H.P. Barendregt. The Lambda Calculus. Its Syntax and Semantics. Number 103 in Studies in Logic and the Foundations of Mathematics. North-Holland, 1984. Revised edition."},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(90)90151-7","volume":"70","author":"E.S. Bainbridge","year":"1990","unstructured":"E.S. Bainbridge, P. Freyd, A. Scedrov, and P.J. Scott. Functorial polymorphism. Theoretical Computer Science, 70:35\u201364, 1990.","journal-title":"Theoretical Computer Science"},{"key":"3_CR5","unstructured":"J.-Y. Girard. Interpr\u00e9tation fonctionnelle et \u00e9limination des coupures dans l'arithm\u00e9tique d'ordre sup\u00e9rieur. Th\u00e8se de Doctorat d'Etat, Universit\u00e9 Paris VII, 1972."},{"issue":"3\u20134","key":"3_CR6","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1111\/j.1746-8361.1969.tb01194.x","volume":"23","author":"F.W. Lawvere","year":"1969","unstructured":"F.W. Lawvere. Adjointness in foundations. Dialectica, 23(3\u20134):281\u2013296, 1969.","journal-title":"Dialectica"},{"key":"3_CR7","first-page":"195","volume-title":"Logical Foundations of Functional Programming","author":"J.C. Mitchell","year":"1990","unstructured":"J.C. Mitchell. A type-inference approach to reduction properties and semantics of polymorphic expressions. In G. Huet, editor, Logical Foundations of Functional Programming, Reading, MA, USA, pages 195\u2013212. Addison-Wesley, 1990."},{"key":"3_CR8","first-page":"361","volume-title":"Number 664 in Lecture Notes in Computer Science","author":"G. Plotkin","year":"1993","unstructured":"G. Plotkin and M. Abadi. A logic for parametric polymorphism. In Proceedings of the International Conference on Typed Lambda Calculi and Applications, March 1993, Utrecht, NL, Number 664 in Lecture Notes in Computer Science, pages 361\u2013375. Springer-Verlag, 1993."},{"key":"3_CR9","unstructured":"J.C. Reynolds. Types, abstraction and parametric polymorphism. In R.E.A. Mason, editor, INFORMATION PROCESSING '83, pages 513\u2013523. Elsevier Science Publishers B.V.North-Holland, 1983."},{"issue":"4","key":"3_CR10","doi-asserted-by":"crossref","first-page":"969","DOI":"10.2307\/2273831","volume":"52","author":"R.A.G. Seely","year":"1987","unstructured":"R.A.G. Seely. Categorical semantics for higher order polymorphic lambda calculus. The Journal of Symbolic Logic, 52(4):969\u2013989, December 1987.","journal-title":"The Journal of Symbolic Logic"},{"key":"3_CR11","volume-title":"Fundamental concepts in programming languages. Lecture Notes","author":"C. Strachey","year":"1967","unstructured":"C. Strachey. Fundamental concepts in programming languages. Lecture Notes, International Summer School in Programming Languages, Copenhagen, Denmark, Unpublished, August 1967."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"P. Wadler. Theorems for free! In Proceedings of the Fourth International Conference on Functional Programming Languages and Computer Architecture, pages 347\u2013359. ACM press, 1989.","DOI":"10.1145\/99370.99404"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014043","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:11:29Z","timestamp":1558257089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590484","9783540491781"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0014043","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}