William John Gowers
Ph.D. University of Bath 2020
Dissertation:
The Crossroads of Categorical Algebra and Game Semantics
An investigation into the application of Kleisli categories and related constructions to the study of Full Abstraction for nondeterministic effects in Algol-like languages
Mathematics Subject Classification: 68—Computer science
Advisor 1: James Laird
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 330626 for the advisor ID.