Strong categorical datatypes II: A term logic for categorical programming
- 6 March 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 139 (1-2) , 69-113
- https://doi.org/10.1016/0304-3975(94)00099-5
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A co-induction principle for recursively defined domainsTheoretical Computer Science, 1994
- Programming with Inductive and Co-Inductive TypesPublished by Defense Technical Information Center (DTIC) ,1992
- Codatatypes in MLJournal of Symbolic Computation, 1989
- Why Functional Programming MattersThe Computer Journal, 1989
- Substitution revisitedTheoretical Computer Science, 1988
- Strong functors and monoidal monadsArchiv der Mathematik, 1972