{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:15Z","timestamp":1725663615445},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544159"},{"type":"electronic","value":"9783540476177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54415-1_61","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:46:06Z","timestamp":1330209966000},"page":"495-512","source":"Crossref","is-referenced-by-count":11,"title":["Parametricity of extensionally collapsed term models of polymorphism and their categorical properties"],"prefix":"10.1007","author":[{"given":"Ryu","family":"Hasegawa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"24_CR1","first-page":"35","volume":"70","author":"E. S. Bainbridge","year":"1990","unstructured":"E. S. Bainbridge, P. J. Freyd, A. Scedrov and P. J. Scott, Functorial Polymorphism, Theoret. Comput. Sci. 70 (1990) 35\u201364; Corrigendum, 71 (1990) 431.","journal-title":"Comput. Sci."},{"key":"24_CR2","volume-title":"The lambda calculus, Its syntax and semantics","author":"H. P. Barendregt","year":"1984","unstructured":"H. P. Barendregt, The lambda calculus, Its syntax and semantics, (North-Holland, Amsterdam, 1984) Revised edition.","edition":"Revised edition"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(85)90135-5","volume":"39","author":"C. B\u00f6hm","year":"1985","unstructured":"C. B\u00f6hm and A. Berrarducci, Automatic synthesis of typed \u039b-programs on term algebras, Theoret. Comput. Sci. 39 (1985) 135\u2013154.","journal-title":"Theoret. Comput. Sci."},{"key":"24_CR4","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(88)90097-7","volume":"59","author":"V. Breazu-Tannen","year":"1988","unstructured":"V. Breazu-Tannen and T. Coquand, Extensional models for polymorphism, Theoret. Comput. Sci. 59 (1988) 85\u2013114.","journal-title":"Theoret. Comput. Sci."},{"key":"24_CR5","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/0890-5401(90)90044-I","volume":"85","author":"K. B. Bruce","year":"1990","unstructured":"K. B. Bruce, A. R. Meyer and J. C. Mitchell, The semantics of second-order lambda calculus, Inform. Comput. 85 (1990) 76\u2013134.","journal-title":"Inform. Comput."},{"key":"24_CR6","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0890-5401(89)90068-0","volume":"81","author":"T. Coquand","year":"1989","unstructured":"T. Coquand, C. Gunter and G. Winskell, Domain theoretic models of polymorphism, Inform. and Comput. 81 (1989) 123\u2013167.","journal-title":"Inform. and Comput."},{"key":"24_CR7","unstructured":"P. Freyd, Structural polymorphism, privately circulated, University of Pennsylvania (1989)."},{"key":"24_CR8","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/BFb0064870","volume-title":"Logic Colloquium '73, Boston","author":"H. Friedman","year":"1975","unstructured":"H. Friedman, Equality between functionals, in:Logic Colloquium '73, Boston, Lecture Notes in Mathematics 453 (Springer, Berlin, 1975) 22\u201337."},{"key":"24_CR9","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0304-3975(86)90044-7","volume":"45","author":"J.-Y. Girard","year":"1986","unstructured":"J.-Y. Girard, The system F of variable types, fifteen years later, Theoret. Comput. Sci. 45 (1986) 159\u2013192.","journal-title":"Theoret. Comput. Sci."},{"key":"24_CR10","volume-title":"Proofs and types","author":"J.-Y. Girard","year":"1989","unstructured":"J.-Y. Girard, P. Taylor and Y. Lafont, Proofs and types, (Cambridge University Press, Cambridge, 1989)."},{"key":"24_CR11","series-title":"Lecture Notes in Comput. Sci.","first-page":"12","volume-title":"Category Theory and Computer Science","author":"T. Hagino","year":"1987","unstructured":"T. Hagino, A typed lambda calculus with categorical type constructors, in: D. H. Pitt, A. Poing\u00e9, D. E. Rydeheard, eds., Category Theory and Computer Science, Lecture Notes in Comput. Sci. 283 (Springer, Berlin, 1987) 12\u201339."},{"key":"24_CR12","unstructured":"R. Hasegawa, Parametric polymorphism and internal representations of recursive type definitions, Master Thesis, RIMS, Kyoto University (1989)."},{"key":"24_CR13","unstructured":"R. Hasegawa, Categorical datatypes in parametric polymorphism, in: Fourth Asian Logic Conference, 1990, Tokyo, submitted to Ann. Pure Appl. Logic."},{"key":"24_CR14","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/0304-3975(90)90165-E","volume":"73","author":"H. Huwig","year":"1990","unstructured":"H. Huwig and A. Poign\u00e9, A note on inconsistencies caused by fixpoint in a cartesian closed category, Theoret. Comp. Sci. 73 (1990) 101\u2013112.","journal-title":"Theoret. Comp. Sci."},{"key":"24_CR15","volume-title":"Categories for the working mathematician","author":"S. MacLane","year":"1971","unstructured":"S. MacLane, Categories for the working mathematician, (Springer, Berlin, 1971)."},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"A. R. Meyer, J. C. Mitchell, E. Moggi, R. Statman, Empty types in polymorphic lambda calculus (preliminary report), in:Fourteenth Annual Symp. on Principles of Programming Languages, Munich, West Germany, 1987 (ACM, 1987) 253\u2013262.","DOI":"10.1145\/41625.41648"},{"key":"24_CR17","series-title":"Lecture Notes in Comp. Sci.","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/3-540-15648-8_18","volume-title":"Second-order logical relations (extended abstract)","author":"J. C. Mitchell","year":"1985","unstructured":"J. C. Mitchell and A. Meyer, Second-order logical relations (extended abstract), in:R. Parikh ed., Proceedings of the Conference on Logics of Programs, Brooklyn, 1985, Lecture Notes in Comp. Sci. 193 (Springer, Berlin, 1985) 225\u2013236."},{"key":"24_CR18","unstructured":"E. Moggi, The maximum consistent theory of the second order \u03b2\u03b7 lambda calculus, privately circulated, 1986."},{"key":"24_CR19","volume-title":"Natural Deduction","author":"D. Prawitz","year":"1965","unstructured":"D. Prawitz, Natural Deduction, (Almqvist & Wiksell, Stockholm, 1965)."},{"key":"24_CR20","first-page":"513","volume-title":"Information Processing 83","author":"J. C. Reynolds","year":"1983","unstructured":"J. C. Reynolds, Types, abstraction, and parametric polymorphism, in:R. E. A. Mason, ed., Information Processing 83 (North-Holland, Amsterdam, 1983) 513\u2013523."},{"key":"24_CR21","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/3-540-13346-1_7","volume-title":"Semantics of Data Types","author":"J. C. Reynolds","year":"1984","unstructured":"J. C. Reynolds, Polymorphism is not set theoretic, in:G. Kahn, D.B. MacQueen, G. Plotkin, eds., Semantics of Data Types, Lecture Notes in Comput. Sci. 173 (Springer, Berlin, 1984) 145\u2013156."},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"P. Wadler, Theorems for free!, in:Fourth International Conf. Functional Programming Languages and Computer Architecture, London (ACM, 1989).","DOI":"10.1145\/99370.99404"},{"key":"24_CR23","series-title":"Lecture Notes in Comput. Sci.","first-page":"118","volume-title":"Category Theory and Computer Science","author":"G. C. Wraith","year":"1989","unstructured":"G. C. Wraith, A note on categorical datatypes, in:D. H. Pitt, D. E. Rydeheard, P. Dybjer, A. M. Pitts, A. Poign\u00e9, eds., Category Theory and Computer Science, Lecture Notes in Comput. Sci. 389 (Springer, Berlin, 1989) 118\u2013127."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54415-1_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:15Z","timestamp":1605646455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54415-1_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544159","9783540476177"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-54415-1_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}