{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:22Z","timestamp":1725665002450},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626886"},{"type":"electronic","value":"9783540684381"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62688-3_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:48:50Z","timestamp":1330296530000},"page":"354-372","source":"Crossref","is-referenced-by-count":3,"title":["An axiomatic system of parametricity"],"prefix":"10.1007","author":[{"family":"Takeuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Izumi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0304-3975(93)90082-5","volume":"121","author":"M. Abadi","year":"1993","unstructured":"M. Abadi, L. Cardelli and P.-L. Curien. Formal parametric polymorphism. Theoretical Computer Science, 121, 9\u201358, 1993.","journal-title":"Theoretical Computer Science"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"H. Barendregt. Lambda Calculi with Types. In Handbook of Logic in Computer Science, Vol. 2, 117\u2013309, Oxford Univ. Press, 1992.","DOI":"10.1093\/oso\/9780198537618.003.0002"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"R. Bellucci, Martin Abadi, P.-L. Curien. A Model for Formal Parametric Polymorphism: A PER Interpretation for system R. In Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, 902, Springer-Verlag, pp.32\u201346, 1995.","DOI":"10.1007\/BFb0014043"},{"key":"22_CR4","unstructured":"J.-Y. Girard, et al., Proofs and Types Cambridge Univ. Press, 1989."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"R. Hasegawa. Parametricity of extensionally collapsed term models of polymorphism and their categorical properties. In Proceeding of Theoretical Aspects of Computer Science, Lecture Notes In Computer Science 526, pp. 495\u2013512, Springer-Verlag 1991.","DOI":"10.1007\/3-540-54415-1_61"},{"key":"22_CR6","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1017\/S0960129500000372","volume":"4","author":"R. Hasegawa","year":"1994","unstructured":"R. Hasegawa. Categorical data types in parametric polymorphism. In Mathematical Structures in Computer Science, 4, 71\u2013109, 1994.","journal-title":"Mathematical Structures in Computer Science"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"G. Plotkin and M. Abadi. A Logic for parametric polymorphism. In Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, 664, Springer-Verlag, pp.361\u2013375, 1993.","DOI":"10.1007\/BFb0037118"},{"key":"22_CR8","unstructured":"J. C. Reynolds. Types, abstraction and parametric polymorphism. In R. E. A. Mason, editor, Information Processing 83, pp. 513\u2013523, Elsevier, 1983."}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62688-3_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:56:25Z","timestamp":1713635785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62688-3_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626886","9783540684381"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-62688-3_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}