A Complete Mechanization of Type Theory (1973)

by Gerard Huet
Venue:In Proceedings of the 3rd International Joint Conference on Artificial Intelligence