{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:37:51Z","timestamp":1725471471451},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540659228"},{"type":"electronic","value":"9783540488552"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10703163_23","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T18:15:50Z","timestamp":1160417750000},"page":"343-354","source":"Crossref","is-referenced-by-count":6,"title":["Logical Relations and Inductive\/Coinductive Types"],"prefix":"10.1007","author":[{"given":"Thorsten","family":"Altenkirch","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/BFb0037118","volume-title":"Typed Lambda Calculi and Applications","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Plotkin, G.: A logic for parametric polymorphism. In: Bezem, M., Groote, J.F. (eds.) TLCA 1993. LNCS, vol.\u00a0664, pp. 361\u2013375. Springer, Heidelberg (1993)"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Buchholz, W.: The \u03c9\n                           \n                              \u03bc\u2009+\u20091-rule. In: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. Lecture Notes in Mathematics, vol.\u00a0897, pp. 188\u2013233 (1981)","DOI":"10.1007\/BFb0091898"},{"key":"23_CR3","unstructured":"Geuvers, H.: Inductive and coinductive types with iteration and recursion. In: Workshop on Types for Proofs and Programs, B\u00e5stad, pp. 193\u2013217 (1992)"},{"key":"23_CR4","unstructured":"Hasegawa, R.: Categorical datatypes in parametric polymorphism. In: Fourth Asian Logic Conference (1990)"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0168-0072(96)00021-8","volume":"84","author":"R. Loader","year":"1997","unstructured":"Loader, R.: Equational theories for inductive types. Annals of Pure and Applied Logic\u00a084, 175\u2013217 (1997)","journal-title":"Annals of Pure and Applied Logic"},{"key":"23_CR6","unstructured":"Matthes, R.: Extensions of System F by Iteration And Primitive Recursion on Monotone Inductive Types. PhD thesis, University of Munich (1998) (to appear)"},{"key":"23_CR7","unstructured":"Moggi, E.: Email to the Type mailing list"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Ma, Q., Reynolds, J.C.: Types, abstraction and parametric polymorphis, part 2. In: Proceedings of the 1991 Mathematics of Programming Semantics Conference (1991)","DOI":"10.1007\/3-540-55511-0_1"},{"key":"23_CR9","unstructured":"Reynolds, J.C.: Types, abstraction and parametric polymorphism. In: Mason, R.E.A. (ed.) Information Processing, vol.\u00a083 (1983)"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1109\/LICS.1994.316053","volume-title":"Proc. 9th Symposium in Logic in Computer Science","author":"E.P. Robinson","year":"1994","unstructured":"Robinson, E.P., Rosolini, G.: Reflexive graphs and parametric polymorphism. In: Abramsky, S. (ed.) Proc. 9th Symposium in Logic in Computer Science, Paris, pp. 364\u2013371. IEEE Computer Society, Los Alamitos (1994)"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Theorems for free! Revised version of a paper appearing. In: 4 th International Symposium on Functional Programming Languages and Computer Architecture (June 1989)","DOI":"10.1145\/99370.99404"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10703163_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:29:28Z","timestamp":1558294168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10703163_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540659228","9783540488552"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/10703163_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}