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.

Pancho Harold Gordon Eliott

Original record
Institution
University of Sussex
Year
2022
Country
United Kingdom
MGP identifier
280921

Dissertation: A Program Logic For Fresh Name Generation A Program Logic For Fresh Name Generation

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy