Metamathematical investigations of a calculus of constructions,” pp (1990)

by T Coquand
Venue:91– 122 in Logic and Computer Science, edited by P. Odifreddi