Pure Type Systems with definitions
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 316-328
- https://doi.org/10.1007/3-540-58140-5_30
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
- A framework for defining logicsJournal of the ACM, 1993
- Lambda Calculi with TypesPublished by Oxford University Press (OUP) ,1992
- Goal directed proof construction in type theoryPublished by Cambridge University Press (CUP) ,1991
- Modular proof of strong normalization for the calculus of constructionsJournal of Functional Programming, 1991
- The calculus of constructionsInformation and Computation, 1988
- A direct proof of the finite developments theoremThe Journal of Symbolic Logic, 1985
- Towards a theory of type structureLecture Notes in Computer Science, 1974