Coquand and Gerard Huet. The calculus of constructions (1988)

by Thierry
Venue:Inf. Comput