If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where John Gowers is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Game Semantics Mathematics
Coalgebra Mathematics
Semantics Engineering & Materials Science
Game Mathematics
Functor Mathematics
Transformer Mathematics
Tensor Mathematics
Linear Logic Mathematics

Research Output 2017 2018

  • 2 Conference contribution

A fully abstract game semantics for countable nondeterminism

Gowers, W. J. & Laird, J. D., 1 Aug 2018, Computer Science Logic 2018, CSL 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 24

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Semantics

Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics

Gowers, W. J. & Laird, J., 31 May 2017, Proceedings of 7th Conference on Algebra and Coalgebra in Computer Science. Bonchi, F. & König, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (LIPIcs).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Game Semantics
Coalgebra
Game
Functor
Transformer