Induction and recursion on datatypes
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 242-256
- https://doi.org/10.1007/3-540-60117-1_14
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Fixed-point calculusInformation Processing Letters, 1995
- Demonic operators and monotype factorsMathematical Structures in Computer Science, 1993
- Elements of a relational theory of datatypesPublished by Springer Nature ,1993
- ParamorphismsFormal Aspects of Computing, 1992
- Functional programming with bananas, lenses, envelopes and barbed wirePublished by Springer Nature ,1991
- Homomorphisms and promotabilityPublished by Springer Nature ,1989