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.