Metamathematical Investigations of a Calculus (1990)

by T Coquand
Venue:of Constructions, Logic and Computer Science, Odifreddi ed