The calculus of constructions (1988)

by T COQUAND, G HUET
Venue:Inf. and Comput