{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:31:32Z","timestamp":1725492692371},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433637"},{"type":"electronic","value":"9783540459279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45927-8_11","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T05:39:04Z","timestamp":1192772344000},"page":"147-161","source":"Crossref","is-referenced-by-count":2,"title":["A Theory of Second-Order Trees"],"prefix":"10.1007","author":[{"given":"Neal","family":"Glew","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"issue":"4","key":"11_CR1","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R. Amadio","year":"1993","unstructured":"Roberto Amadio and Luca Cardelli. Subtyping recursive types. ACM Transactions on Progamming Languages and Systems, 15(4):575\u2013631, September 1993.","journal-title":"ACM Transactions on Progamming Languages and Systems"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"34","author":"N. Bruijn De","year":"1972","unstructured":"N. De Bruijn. Lambda-calculus notation with nameless dummies, a tool for automatic formula manipulation. Indag. Mat., 34:381\u2013392, 1972.","journal-title":"Indag. Mat."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Dario Colazzo and Giorgio Ghelli. Subtyping recursive types in kernel fun. In 1999 Symposium on Logic in Computer Science, pages 137\u2013146, Trento, Italy, July 1999.","DOI":"10.1109\/LICS.1999.782605"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard. Une extension de l\u2019interpr\u00e9tation de G\u00f6del \u00e0 l\u2019analyse, et son application \u00e0 l\u2019\u00e9limination de coupures dans l\u2019analyse et la th\u00e9orie des types. In J. E. Fenstad, editor, Proceedings of the Second Scandinavian Logic Symposium, pages 63\u201392. North-Holland Publishing Co., 1971.","DOI":"10.1016\/S0049-237X(08)70843-7"},{"key":"11_CR5","unstructured":"Jean-Yves Girard. Interpr\u00e9tation fonctionelle et \u00e9limination des coupures de l\u2019arithm\u00e9tique d\u2019ordre sup\u00e9rieur. PhD thesis, Universit\u00e9 Paris VII, 1972."},{"key":"11_CR6","unstructured":"Neal Glew. A theory of second-order trees. Technical Report TR2001-1859, Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA, January 2002."},{"key":"11_CR7","unstructured":"Irving Kaplansky. Set Theory and Metric Spaces. Chelsea Pub Co, 2nd edition, June 1977."},{"issue":"1","key":"11_CR8","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1017\/S0960129500000657","volume":"5","author":"D. Kozen","year":"1995","unstructured":"Dexter Kozen, Jens Palsberg, and Michael Schwartzbach. Efficient recursive subtyping. Mathematical Structures in Computer Science, 5(1):113\u2013125, March 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1994.1055","volume":"112","author":"B. Pierce","year":"1994","unstructured":"Benjamin Pierce. Bounded quantification is undecidable. Information and Computation, 112:131\u2013165, 1994.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45927-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T04:44:44Z","timestamp":1550983484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45927-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433637","9783540459279"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45927-8_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}