An algebraic view of structural induction
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 412-426
- https://doi.org/10.1007/bfb0022272
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculiMathematical Structures in Computer Science, 1995
- PARAMETERS AND PARAMETRIZATION IN SPECIFICATION, USING DISTRIBUTIVE CATEGORIESFundamenta Informaticae, 1995
- Fibrations, Logical Predicates and IndeterminatesDAIMI Report Series, 1993
- Types, abstraction, and parametric polymorphism, part 2Published by Springer Nature ,1992
- Elementary observations on 2-categorical limitsBulletin of the Australian Mathematical Society, 1989
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- Fibrations and Yoneda's lemma in a 2-categoryPublished by Springer Nature ,1974
- The formal theory of monadsJournal of Pure and Applied Algebra, 1972
- Equality in hyperdoctrines and comprehension schema as an adjoint functorProceedings of Symposia in Pure Mathematics, 1970