Une Théorie des Constructions. Thèse de troisième cycle (1985)

by Thierry Coquand