| Publication | Date of Publication | Type |
|---|
An axiomatic account of a fully abstract game semantics for general references
| 2024-10-01 | Paper |
The functional machine calculus II: semantics
| 2024-09-25 | Paper |
On Compositionality of Dinatural Transformations
| 2022-05-28 | Paper |
Composing dinatural transformations: towards a calculus of substitution
Journal of Pure and Applied Algebra | 2021-06-09 | Paper |
A history based logic for dynamic preference updates
Journal of Logic, Language and Information | 2020-10-28 | Paper |
Weighted relational models of typed lambda-calculi
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
A Graphical Foundation for Schedules
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Understanding game semantics through coherence spaces
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Modelling local variables: possible worlds and object spaces
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
On the semantics of the bad-variable constructor in Algol-like languages
| 2016-05-03 | Paper |
A graphical foundation for interleaving in game semantics
Journal of Pure and Applied Algebra | 2014-12-05 | Paper |
Imperative programs as proofs via game semantics
Annals of Pure and Applied Logic | 2013-12-19 | Paper |
Constructing differential categories and deconstructing categories of games
Information and Computation | 2013-06-06 | Paper |
Categorical models of syntactic control of intereference revisited, revisited
LMS Journal of Computation and Mathematics | 2011-09-15 | Paper |
Constructing Differential Categories and Deconstructing Categories of Games
Automata, Languages and Programming | 2011-07-07 | Paper |
Coalgebraic semantics for parallel derivation strategies in logic programming
Algebraic Methodology and Software Technology | 2011-01-21 | Paper |
A graph model for imperative computation
Logical Methods in Computer Science | 2010-03-15 | Paper |
A Games Model of Bunched Implications
Computer Science Logic | 2009-03-05 | Paper |
The regular-language semantics of second-order idealized ALGOL
Theoretical Computer Science | 2004-10-27 | Paper |
scientific article; zbMATH DE number 1948166 (Why is no real title available?)
| 2003-07-10 | Paper |
Games and full abstraction for FPC.
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1670817 (Why is no real title available?)
| 2001-12-06 | Paper |
scientific article; zbMATH DE number 1342245 (Why is no real title available?)
| 2001-05-28 | Paper |
Full abstraction for idealized Algol with passive expressions
Theoretical Computer Science | 2000-08-23 | Paper |
scientific article; zbMATH DE number 1259144 (Why is no real title available?)
| 1999-03-09 | Paper |
scientific article; zbMATH DE number 1231510 (Why is no real title available?)
| 1998-12-13 | Paper |
scientific article; zbMATH DE number 1223609 (Why is no real title available?)
| 1998-11-15 | Paper |
Games and Definability For FPC
The Bulletin of Symbolic Logic | 1997-12-17 | Paper |
scientific article; zbMATH DE number 860033 (Why is no real title available?)
| 1996-07-01 | Paper |
