Une Théorie de Constructions, thèse de doctorat (1985)

by T Coquand