De Inductives en Theorie des Types d'Ordre Superieur. Habilitation a diriger les recherches, Universite Claude Bernard Lyon I (1996)

by C Paulin-Mohring