Une Théorie des Constructions Inductives. PhD thesis, A L’Université Paris 7 (1994)

by B Werner