A Non-Type-Theoretic Semantics for Type-Theoretic Language

Stuart Allen

Ph.D. Thesis, Cornell University

1987

This thesis was released as Cornell CS Department Tech Report TR87-866.

The official version appears to be an OCR scanned version, and is available at

http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR87-866


Errata:

On page 3, in the third sentence, the phrase should read "... since only terms that have values have types ..." (sfa)
See also A Non-Type-Theoretic Definition of Martin-Lof's Types.
Back to PRL Project Publications.