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

Stuart Allen

Ph.D. Thesis, Cornell University


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



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.