Aspects of the Implementation of Type Theory
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR85-675
unofficial copies [
PDF
], [
PS
]
by Robert W. Harper
Cornell University Ph.D. Thesis, 1985.
Abstract
No abstract provided.
