Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Institution
University of Essex
Year
1992
Country
United Kingdom
MGP identifier
243554

Dissertation: Realizability and partiality in constructive set theories

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy