1985] "Une th��orie des constructions", Th��se de 3��me cycle (0)

by T Coquand