Metamathematical Investigations of a Calculus of Constructions (1990)

by Coquand Th
Venue:Logic and Computer Science