Une s'emantique cat'egorique des types d'ependants. Application au calcul des constructions. Th`ese de doctorat, Universit'e de Paris VII (1988)

by T Ehrhard