Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Institution
Université Paris Diderot - Paris 7
Year
1998
Country
France
MGP identifier
95565

Dissertation: Sous-typage, conversion de types et elimination de la transitivité

Mathematics Subject Classification: 68—Computer science

Advisors 2

Students 0

No students recorded in this snapshot.

Genealogy