Recursive types reduced to inductive types
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 498-507
- https://doi.org/10.1109/lics.1990.113772
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- Fixed-point constructions in order-enriched categoriesTheoretical Computer Science, 1979