Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Chris Barrett

Original record
Institution
University of Bath
Year
2022
Country
United Kingdom
MGP identifier
330629

Dissertation: On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy