{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T16:04:01Z","timestamp":1750089841791},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022272","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:12:29Z","timestamp":1132639949000},"page":"412-426","source":"Crossref","is-referenced-by-count":9,"title":["An algebraic view of structural induction"],"prefix":"10.1007","author":[{"given":"Claudio","family":"Hermida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Jacobs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"unstructured":"J.R.B. Cockett and D. Spencer. Strong categorical datatypes I. In Proceedings Category Theory 1991. Canadian Mathematical Society, 1991.","key":"30_CR1"},{"doi-asserted-by":"crossref","unstructured":"C. Hermida. Fibrations, logical predicates and indeterminates. PhD thesis, University of Edinburgh, 1993. Tech. Report ECS-LFCS-93-277. Also available as Aarhus Univ. DAIMI Tech. Report PB-462.","key":"30_CR2","DOI":"10.7146\/dpb.v22i462.6935"},{"doi-asserted-by":"crossref","unstructured":"C. Hermida and B. Jacobs. Fibrations with indeterminates: Contextual and functional completeness for polymorphic lambda calculi. In Book of Abstracts of Category Theory in Computer Science 5, September 1993. Extended version to appear in Mathematical Structures in Computer Science.","key":"30_CR3","DOI":"10.1017\/S0960129500001213"},{"unstructured":"C. Hermida and B. Jacobs. Induction and coinduction via subset types and quotient types. presented at CLICS\/TYPES workshop, G\u00f6tenburg, January 1995.","key":"30_CR4"},{"unstructured":"B. Jacobs. Categorical Type Theory. PhD thesis, Nijmegen, 1991.","key":"30_CR5"},{"doi-asserted-by":"crossref","unstructured":"B. Jacobs. Parameters and parameterization in specification using distributive categories. Fundamenta Informaticae, to appear, 1995.","key":"30_CR6","DOI":"10.3233\/FI-1995-2431"},{"key":"30_CR7","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S0004972700002781","volume":"39","author":"G.M. Kelly","year":"1989","unstructured":"G.M. Kelly. Elementary observations on 2-categorical limits. Bulletin Australian Mathematical Society, 39:301\u2013317, 1989.","journal-title":"Bulletin Australian Mathematical Society"},{"doi-asserted-by":"crossref","unstructured":"F.W. Lawvere. Equality in hyperdoctrines and comprehension scheme as an adjoint functor. In A. Heller, editor, Applications of Categorical Algebra. AMS Providence, 1970.","key":"30_CR8","DOI":"10.1090\/pspum\/017\/0257175"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF01752392","volume":"14","author":"D. Lehmann","year":"1981","unstructured":"D. Lehmann and M. Smyth. Algebraic specification of data types: A synthetic approach. Math. Systems Theory, 14:97\u2013139, 1981.","journal-title":"Math. Systems Theory"},{"unstructured":"J. Lambek and P.J. Scott. Introduction to Higher-Order Categorical Logic, volume 7 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1986.","key":"30_CR10"},{"doi-asserted-by":"crossref","unstructured":"Q. Ma and J. C. Reynolds. Types, abstraction and parametric polymorphism 2. In S Brookes, editor, Math. Found. of Prog. Lang. Sem., volume 589 of Lecture Notes in Computer Science, pages 1\u201340. Springer Verlag, 1991.","key":"30_CR11","DOI":"10.1007\/3-540-55511-0_1"},{"unstructured":"D. Pavlovi\u0107. Predicates and Fibrations. PhD thesis, University of Utrecht, 1990.","key":"30_CR12"},{"unstructured":"D. Pavlovi\u0107. Maps I: relative to a factorisation system. Draft, Dept. of Math. and Stat., McGill University, 1993.","key":"30_CR13"},{"unstructured":"A. Pitts. Relational properties of recursively defined domains. Tech. Report TR321, Cambridge Computing Laboratory, 1993.","key":"30_CR14"},{"key":"30_CR15","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0022-4049(72)90019-9","volume":"2","author":"R. Street","year":"1972","unstructured":"R. Street. The formal theory of monads. Journal of Pure and Applied Algebra, 2:149\u2013168, 1972.","journal-title":"Journal of Pure and Applied Algebra"},{"doi-asserted-by":"crossref","unstructured":"R. Street. Fibrations and Yoneda's lemma in a 2-category. In Category Seminar, volume 420 of Lecture Notes in Mathematics. Springer Verlag, 1973.","key":"30_CR16","DOI":"10.1007\/BFb0063102"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:43:22Z","timestamp":1586573002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0022272","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}