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

by Thierry Coquand
Venue:Inform. and Comput