| Publication | Date of Publication | Type |
|---|
Disentangling parallelism and interference in game semantics
Logical Methods in Computer Science | 2024-11-12 | Paper |
| Strategies as resource terms, and their categorical semantics | 2024-10-21 | Paper |
| The mays and musts of concurrent strategies | 2024-10-01 | Paper |
| A tale of additives and concurrency in game semantics | 2024-10-01 | Paper |
scientific article; zbMATH DE number 7700622 (Why is no real title available?)
(available as arXiv preprint) | 2023-06-23 | Paper |
| The Cartesian Closed Bicategory of Thin Spans of Groupoids | 2023-01-27 | Paper |
| scientific article; zbMATH DE number 7561694 (Why is no real title available?) | 2022-07-21 | Paper |
| scientific article; zbMATH DE number 7533330 (Why is no real title available?) | 2022-05-28 | Paper |
| scientific article; zbMATH DE number 7533341 (Why is no real title available?) | 2022-05-28 | Paper |
Categories with families: unityped, simply typed, and dependently typed
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | 2021-12-08 | Paper |
The concurrent game semantics of probabilistic PCF
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| scientific article; zbMATH DE number 7204431 (Why is no real title available?) | 2020-05-26 | Paper |
| Distributed Strategies Made Easy | 2020-05-26 | Paper |
| Resource-tracking concurrent games | 2020-01-28 | Paper |
Concurrent quantum strategies
Reversible Computation | 2019-10-17 | Paper |
Thin games with symmetry and concurrent Hyland-Ong games
(available as arXiv preprint) | 2019-03-18 | Paper |
| Non-angelic concurrent game semantics | 2018-07-17 | Paper |
Symmetry in concurrent games
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
The Parallel Intensionally Fully Abstract Games Model of PCF
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Causality vs. interleavings in concurrent game semantics | 2018-03-21 | Paper |
scientific article; zbMATH DE number 6816943 (Why is no real title available?)
(available as arXiv preprint) | 2017-12-11 | Paper |
Games and strategies as event structures
(available as arXiv preprint) | 2017-10-12 | Paper |
| Undecidability of equality in the free locally Cartesian closed category | 2017-07-12 | Paper |
The winning ways of concurrent games
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| Böhm trees as higher-order recursion schemes | 2017-02-21 | Paper |
The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
| On concurrent games with payoff | 2016-04-12 | Paper |
Game semantics and normalization by evaluation
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Bounding linear head reduction and visible interaction through skeletons
Logical Methods in Computer Science | 2015-08-25 | Paper |
Strong functors and interleaving fixpoints in game semantics
RAIRO. Theoretical Informatics and Applications | 2013-08-13 | Paper |
Bounding skeletons, locally scoped terms and exact bounds for linear head reduction
Lecture Notes in Computer Science | 2013-06-28 | Paper |
Imperfect information in logic and concurrent games
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Isomorphisms of types in the presence of higher-order references
Logical Methods in Computer Science | 2012-08-15 | Paper |
Totality in arena games
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
Lecture Notes in Computer Science | 2011-06-17 | Paper |
Estimation of the length of interactions in arena game semantics
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Least and Greatest Fixpoints in Game Semantics
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
An Analysis of Symmetry in Quantitative Semantics
(available as arXiv preprint) | N/A | Paper |
