Une théorie des constructions inductives (1994)

by B Werner
Venue:PhD thesis, L’Université Paris 7