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. |