Inductively defined types

Publisher Website

1 January 1990

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 50-66
https://doi.org/10.1007/3-540-52335-9_47

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

ECC, an extended calculus of constructions
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
Inductively defined types in the Calculus of Constructions
Published by Springer Nature ,1990
Slow growing versus fast growing
The Journal of Symbolic Logic, 1989
Automatic synthesis of typed Λ-programs on term algebras
Theoretical Computer Science, 1985
Polymorphism is not set-theoretic
Published by Springer Nature ,1984
On a hitherto unexploited extension of the finitary standpoint
Journal of Philosophical Logic, 1980
The Mechanical Evaluation of Expressions
The Computer Journal, 1964
A formulation of the simple theory of types
The Journal of Symbolic Logic, 1940