{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:42:54Z","timestamp":1743032574042,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540875307"},{"type":"electronic","value":"9783540875314"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87531-4_33","type":"book-chapter","created":{"date-parts":[[2008,8,30]],"date-time":"2008-08-30T08:40:53Z","timestamp":1220085653000},"page":"461-477","source":"Crossref","is-referenced-by-count":1,"title":["On Isomorphisms of Intersection Types"],"prefix":"10.1007","author":[{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Di Cosmo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elio","family":"Giovannetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Makoto","family":"Tatsuta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"33_CR1","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(92)90297-S","volume":"102","author":"S. van Bakel","year":"1992","unstructured":"van Bakel, S.: Complete restrictions of the intersection type discipline. Theoretical Computer Science\u00a0102(1), 135\u2013163 (1992)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"33_CR2","doi-asserted-by":"publisher","first-page":"931","DOI":"10.2307\/2273659","volume":"48","author":"H. Barendregt","year":"1983","unstructured":"Barendregt, H., Coppo, M., Dezani-Ciancaglini, M.: A filter lambda model and the completeness of type assignment. The Journal of Symbolic Logic\u00a048(4), 931\u2013940 (1983)","journal-title":"The Journal of Symbolic Logic"},{"issue":"1-3","key":"33_CR3","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.tcs.2008.01.046","volume":"398","author":"V. Bono","year":"2008","unstructured":"Bono, V., Venneri, B., Bettini, L.: A typed lambda calculus with intersection types. Theoretical Computer Science\u00a0398(1-3), 95\u2013113 (2008)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"33_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1017\/S0960129500001444","volume":"2","author":"K. Bruce","year":"1992","unstructured":"Bruce, K., Di Cosmo, R., Longo, G.: Provable isomorphisms of types. Mathematical Structures in Computer Science\u00a02(2), 231\u2013247 (1992)","journal-title":"Mathematical Structures in Computer Science"},{"key":"33_CR5","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/22145.22175","volume-title":"STOC 1985","author":"K. Bruce","year":"1985","unstructured":"Bruce, K., Longo, G.: Provable isomorphisms and domain equations in models of typed languages. In: Sedgewick, R. (ed.) STOC 1985, pp. 263\u2013272. ACM, New York (1985)"},{"issue":"4","key":"33_CR6","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1305\/ndjfl\/1093883253","volume":"21","author":"M. Coppo","year":"1980","unstructured":"Coppo, M., Dezani-Ciancaglini, M.: An extension of the basic functionality theory for the \u03bb-calculus. Notre Dame Journal of Formal Logic\u00a021(4), 685\u2013693 (1980)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"33_CR7","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0304-3975(76)90085-2","volume":"2","author":"M. Dezani-Ciancaglini","year":"1976","unstructured":"Dezani-Ciancaglini, M.: Characterization of normal forms possessing an inverse in the \u03bb\u03b2\n                           \u03b7-calculus. Theoretical Computer Science\u00a02, 323\u2013337 (1976)","journal-title":"Theoretical Computer Science"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"Di Cosmo, R.: Second order isomorphic types. A proof theoretic study on second order \u03bb-calculus with surjective pairing and terminal object. Information and Computation, pp. 176\u2013201 (1995)","DOI":"10.1006\/inco.1995.1085"},{"key":"33_CR9","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1017\/S0960129505004871","volume":"15","author":"R. Di Cosmo","year":"2005","unstructured":"Di Cosmo, R.: A short survey of isomorphisms of types. Mathematical Structures in Computer Science\u00a015, 825\u2013838 (2005)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1\u20132","key":"33_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.apal.2005.09.001","volume":"141","author":"M. Fiore","year":"2006","unstructured":"Fiore, M., Di Cosmo, R., Balat, V.: Remarks on isomorphisms in typed lambda calculi with empty and sum types. Annals of Pure and Applied Logic\u00a0141(1\u20132), 35\u201350 (2006)","journal-title":"Annals of Pure and Applied Logic"},{"key":"33_CR11","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1017\/S0960129505004895","volume":"15","author":"O. Laurent","year":"2005","unstructured":"Laurent, O.: Classical isomorphisms of types. Mathematical Structures in Computer Science\u00a015, 969\u20131004 (2005)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"9","key":"33_CR12","doi-asserted-by":"publisher","first-page":"1371","DOI":"10.1016\/j.ic.2007.03.005","volume":"205","author":"L. Liquori","year":"2007","unstructured":"Liquori, L., Ronchi Della Rocca, S.: Intersection types \u00e0 la Church. Information and Computation\u00a0205(9), 1371\u20131386 (2007)","journal-title":"Information and Computation"},{"issue":"7","key":"33_CR13","first-page":"778","volume":"19","author":"C.F. Martin","year":"1972","unstructured":"Martin, C.F.: Axiomatic bases for equational theories of natural numbers. Notices of the American Mathematical Society\u00a019(7), 778 (1972)","journal-title":"Notices of the American Mathematical Society"},{"key":"33_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(88)90101-6","volume":"59","author":"S. Ronchi Della Rocca","year":"1988","unstructured":"Ronchi Della Rocca, S.: Principal type scheme and unification for intersection type discipline. Theoretical Computer Science\u00a059, 1\u201329 (1988)","journal-title":"Theoretical Computer Science"},{"key":"33_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/3-540-56944-8_71","volume-title":"Logic Programming and Automated Reasoning","author":"S. Soloviev","year":"1993","unstructured":"Soloviev, S.: A complete axiom system for isomorphism of types in closed categories. In: Voronkov, A. (ed.) LPAR 1993. LNCS, vol.\u00a0698, pp. 360\u2013371. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87531-4_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T05:14:31Z","timestamp":1715058871000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-87531-4_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540875307","9783540875314"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87531-4_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}