Une Théorie des Constructions (1985)

by T Coquand