Martin Hyland (Cambridge), Mathematics inspired by the execution formula: towards a foundation for game semantics

Schedule