Pancho Harold Gordon Eliott
Ph.D. University of Sussex 2022
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: Martin Friedrich Berger
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 280921 for the advisor ID.