and Gérard Huet. The calculus of constructions (1988)

by Thierry Coquand
Venue:Information and Computation