Une théorie des constructions (1985)

by T Coquand