Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Hugh Paul Steele

Original record
Institution
University of Manchester
Year
2013
Country
United Kingdom
MGP identifier
190889

Dissertation: Combinatorial Arguments for Linear Logic Full Completeness

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy