| Publication | Date of Publication | Type |
|---|
Rewriting modulo traced comonoid structure
Logical Methods in Computer Science | 2026-02-13 | Paper |
String diagrams for strictification and coherence
Logical Methods in Computer Science | 2024-11-12 | Paper |
| Rewriting modulo traced comonoid structure | 2024-10-21 | Paper |
| The far side of the cube. An elementary introduction to game semantics | 2024-10-01 | Paper |
| Functorial string diagrams for reverse-mode automatic differentiation | 2024-09-25 | Paper |
| String diagrams for non-strict monoidal categories | 2024-09-25 | Paper |
| Rewriting for monoidal closed categories | 2024-05-27 | Paper |
| String Diagrams for $\lambda$-calculi and Functional Computation | 2023-05-30 | Paper |
| scientific article; zbMATH DE number 7533363 (Why is no real title available?) | 2022-05-28 | Paper |
| String diagrams for non-strict monoidal categories | 2022-01-27 | Paper |
| scientific article; zbMATH DE number 7456059 (Why is no real title available?) | 2022-01-12 | Paper |
scientific article; zbMATH DE number 7456059 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-12 | Paper |
| A structural and nominal syntax for diagrams | 2021-12-17 | Paper |
A structural and nominal syntax for diagrams
(available as arXiv preprint) | 2021-12-17 | Paper |
The Geometry of Computation-Graph Abstraction
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Diagrammatic Semantics for Digital Circuits.
(available as arXiv preprint) | 2020-05-26 | Paper |
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter
(available as arXiv preprint) | 2020-05-26 | Paper |
| On the learnability of programming language semantics | 2020-02-17 | Paper |
On the learnability of programming language semantics
(available as arXiv preprint) | 2020-02-17 | Paper |
| Coherent minimisation: towards efficient tamper-proof compilation | 2020-01-10 | Paper |
Coherent minimisation: towards efficient tamper-proof compilation
(available as arXiv preprint) | 2020-01-10 | Paper |
The dynamic geometry of interaction machine: a token-guided graph rewriter
(available as arXiv preprint) | 2019-11-26 | Paper |
Latent semantic analysis of game models using LSTM
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
| A functional perspective on machine learning via programmable induction and abduction | 2018-07-09 | Paper |
| Leaving the nest: nominal techniques for variables with interleaving scopes | 2017-08-31 | Paper |
Slot games: a quantitative model of computation
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Abstract machines for game semantics, revisited
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Krivine nets: a semantic foundation for distributed execution
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
Geometry of synthesis. II: From games to delay-insensitive circuits
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
A system-level game semantics
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Game semantics in the nominal model
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Geometry of synthesis. IV: Compiling affine recursion into static hardware
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
Geometry of synthesis: a structured approach to VLSI design
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Bounded Linear Types in a Resource Semiring
Programming Languages and Systems | 2014-04-16 | Paper |
Geometry of synthesis III
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Diagrammatic reasoning for delay-insensitive asynchronous circuits
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Regular-language semantics for a call-by-value programming language
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Synchronous game semantics via round abstraction
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
On the compositionality of round abstraction
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Compositional Predicate Abstraction from Game Semantics
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
On-the-Fly Techniques for Game-Based Software Model Checking
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Angelic semantics of fine-grained concurrency
Annals of Pure and Applied Logic | 2008-03-06 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2006-10-31 | Paper |
The regular-language semantics of second-order idealized ALGOL
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 1670817 (Why is no real title available?) | 2001-12-06 | Paper |
Abstract models of storage
Higher-Order and Symbolic Computation | 2000-06-04 | Paper |
A Fully Compositional Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
(available as arXiv preprint) | N/A | Paper |
Rewriting Modulo Traced Comonoid Structure
(available as arXiv preprint) | N/A | Paper |
