Coquand and Gérard Huet. The Calculus of Constructions (1988)

by Thierry
Venue:Information and Computation