Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

François Magnan

Original record
Institution
Université de Montréal
Year
1999
Country
Canada
MGP identifier
67998

Dissertation: Les topos de types et les topos de filtres en logique catégorique

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy