| Publication | Date of Publication | Type |
|---|
| Revisiting decidable bounded quantification, via dinaturality | 2026-04-02 | Paper |
| Dinaturality meets genericity: a game semantics of bounded polymorphism | 2024-10-21 | Paper |
| scientific article; zbMATH DE number 7533349 (Why is no real title available?) | 2022-05-28 | Paper |
scientific article; zbMATH DE number 7471671 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471671 (Why is no real title available?) | 2022-02-09 | Paper |
| Combining and relating control effects and their semantics | 2021-09-09 | Paper |
Combining and relating control effects and their semantics
(available as arXiv preprint) | 2021-09-09 | Paper |
Weighted models for higher-order computation
Information and Computation | 2020-12-15 | Paper |
| A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus | 2020-09-23 | Paper |
Sequoidal categories and transfinite games: a coalgebraic approach to stateful objects in game semantics
(available as arXiv preprint) | 2018-08-13 | Paper |
| Weighted Relational Models for Mobility | 2017-10-17 | Paper |
| Polymorphic game semantics for dynamic binding | 2017-07-19 | Paper |
From qualitative to quantitative semantics. By change of base
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Game semantics for bounded polymorphism
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Game semantics for call-by-value polymorphism
Automata, Languages and Programming | 2010-09-07 | Paper |
A logic of sequentiality
Computer Science Logic | 2010-09-03 | Paper |
Nondeterminism and Observable Sequentiality
Computer Science Logic | 2009-11-12 | Paper |
A Fully Abstract Trace Semantics for General References
Automata, Languages and Programming | 2007-11-28 | Paper |
Bistable Biorders: A Sequential Domain Theory
Logical Methods in Computer Science | 2007-10-11 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
| scientific article; zbMATH DE number 5173454 (Why is no real title available?) | 2007-07-20 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
| scientific article; zbMATH DE number 2087542 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1956521 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1722658 (Why is no real title available?) | 2002-03-21 | Paper |
