Inductively defined types
- 1 January 1990
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- ECC, an extended calculus of constructionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Inductively defined types in the Calculus of ConstructionsLecture Notes in Computer Science, 1990
- Slow growing versus fast growingThe Journal of Symbolic Logic, 1989
- Automatic synthesis of typed Λ-programs on term algebrasTheoretical Computer Science, 1985
- Polymorphism is not set-theoreticLecture Notes in Computer Science, 1984
- On a hitherto unexploited extension of the finitary standpointJournal of Philosophical Logic, 1980
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940