Inductive, coinductive, and pointed types
- 15 June 1996
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 31 (6) , 102-109
- https://doi.org/10.1145/232627.232640
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Recursive types reduced to inductive typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Algebraically compact functorsJournal of Pure and Applied Algebra, 1992
- Remarks on algebraically compact categoriesPublished by Cambridge University Press (CUP) ,1992
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logicInformation and Computation, 1992
- Algebraically complete categoriesLecture Notes in Mathematics, 1991
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical StudiesLecture Notes in Mathematics, 1981