De Inductives en Theorie des Types d'Ordre Superieur. Habilitation a diriger les recherches (1996)

by Christine Paulin-Mohring