| Publication | Date of Publication | Type |
|---|
Variable binding and substitution for (nameless) dummies
Logical Methods in Computer Science | 2024-03-11 | Paper |
Variable binding and substitution for (nameless) dummies
Lecture Notes in Computer Science | 2024-01-23 | Paper |
| A more general categorical framework for congruence of applicative bisimilarity | 2023-03-21 | Paper |
scientific article; zbMATH DE number 7577567 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7577567 (Why is no real title available?) | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7559282 (Why is no real title available?) | 2022-07-18 | Paper |
| A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on | 2022-04-08 | Paper |
| scientific article; zbMATH DE number 7449991 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7449991 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
A Cellular Howe Theorem
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
What's in a game?
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Modules over monads and operational semantics (expanded version)
(available as arXiv preprint) | 2020-12-11 | Paper |
Cellular Monads from Positive GSOS Specifications
(available as arXiv preprint) | 2019-08-29 | Paper |
| Fibred pseudo double categories for game semantics | 2019-06-17 | Paper |
Innocent strategies as presheaves and interactive equivalences for CCS
(available as arXiv preprint) | 2019-02-08 | Paper |
| Simple game semantics and Day convolution | 2018-10-16 | Paper |
Shapely monads and analytic functors
Journal Of Logic And Computation | 2018-09-28 | Paper |
| Justified sequences in string diagrams: a comparison between two approaches to concurrent game semantics | 2018-08-13 | Paper |
scientific article; zbMATH DE number 6816930 (Why is no real title available?)
(available as arXiv preprint) | 2017-12-11 | Paper |
| Wild \(\omega\)-categories for the homotopy hypothesis in type theory | 2017-07-12 | Paper |
| An intensionally fully-abstract sheaf model for \(\pi\) | 2017-07-11 | Paper |
Contraction-free proofs and finitary games for linear logic
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Saturating directed spaces
Journal of Homotopy and Related Structures | 2015-02-17 | Paper |
Full abstraction for fair testing in CCS (expanded version)
Logical Methods in Computer Science | 2014-11-13 | Paper |
Full abstraction for fair testing in CCS
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
Logical Methods in Computer Science | 2013-09-06 | Paper |
Compilation of extended recursion in call-by-value functional languages
Higher-Order and Symbolic Computation | 2010-03-05 | Paper |
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
A Theory for Game Theories
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | 2008-04-24 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
| scientific article; zbMATH DE number 2087534 (Why is no real title available?) | 2004-08-11 | Paper |
