We stand with Ukraine  

William John Gowers

Affiliations:
  • University of Bath, UK


According to our database1, William John Gowers authored at least 3 papers between 2017 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
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.
[BibTeX]
[DOI]
William John Gowers
PhD thesis, 2020

2018
A Fully Abstract Game Semantics for Countable Nondeterminism.
[BibTeX]
[DOI]
William John Gowers
,
James David Laird
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017
Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics.
[BibTeX]
[DOI]
William John Gowers
,
James Laird
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017


  Loading...