| Publication | Date of Publication | Type |
|---|
Existential and positive games: a comonadic and axiomatic view
Annals of Pure and Applied Logic | 2026-06-12 | Paper |
| Arboreal categories and resources | 2026-05-12 | Paper |
| Linear arboreal categories | 2026-04-02 | Paper |
| The logic of contextuality | 2026-03-23 | Paper |
Team semantics and independence notions in quantum physics
The Bulletin of Symbolic Logic | 2026-03-05 | Paper |
| Commutation groups and state-independent contextuality | 2026-01-14 | Paper |
| A comonadic view of simulation and quantum resources | 2024-12-19 | Paper |
| Logical journeys: a scientific autobiography | 2024-10-01 | Paper |
| Comonadic semantics for hybrid logic | 2024-08-06 | Paper |
| Specification structures and propositions-as-types for concurrency | 2024-06-21 | Paper |
Arboreal categories and equi-resource homomorphism preservation theorems
Annals of Pure and Applied Logic | 2024-04-04 | Paper |
| State-independent all-versus-nothing arguments | 2023-11-18 | Paper |
Arboreal Categories: An Axiomatic Theory of Resources
Logical Methods in Computer Science | 2023-08-26 | Paper |
Retracing some paths in process algebra
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
A generalized Kahn Principle for abstract asynchronous networks
Lecture Notes in Computer Science | 2023-04-12 | Paper |
Discrete density comonads and graph parameters
(available as arXiv preprint) | 2022-12-07 | Paper |
Contextuality: At the Borders of Paradox
(available as arXiv preprint) | 2022-10-11 | Paper |
Structure and Power: an Emerging Landscape
Fundamenta Informaticae | 2022-10-07 | Paper |
| Relating structure and power: comonadic semantics for computational resources | 2022-05-28 | Paper |
Discrete density comonads and graph parameters
(available as arXiv preprint) | 2022-05-13 | Paper |
| DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. | 2021-12-06 | Paper |
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
(available as arXiv preprint) | 2021-12-06 | Paper |
Relating structure and power: Comonadic semantics for computational resources
Journal Of Logic And Computation | 2021-10-21 | Paper |
| Comonadic semantics for hybrid logic and bounded fragments | 2021-10-19 | Paper |
| A classification of multipartite states by degree of non-locality | 2021-06-29 | Paper |
A classification of multipartite states by degree of non-locality
(available as arXiv preprint) | 2021-06-29 | Paper |
| scientific article; zbMATH DE number 7364176 (Why is no real title available?) | 2021-06-29 | Paper |
scientific article; zbMATH DE number 7364176 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-29 | Paper |
Non-locality, contextuality and valuation algebras: a general theory of disagreement
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2021-06-15 | Paper |
Non-locality, contextuality and valuation algebras: a general theory of disagreement
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2021-06-15 | Paper |
Dynamic game semantics
Mathematical Structures in Computer Science | 2021-05-14 | Paper |
| The cohomology of non-locality and contextuality | 2021-04-27 | Paper |
The cohomology of non-locality and contextuality
(available as arXiv preprint) | 2021-04-27 | Paper |
Logic and geometry of agents in agent-based modeling
Complex Social and Behavioral Systems | 2021-02-15 | Paper |
| The pebbling comonad in finite model theory | 2021-01-19 | Paper |
The pebbling comonad in finite model theory
(available as arXiv preprint) | 2021-01-19 | Paper |
The sheaf-theoretic structure of non-locality and contextuality
New Journal of Physics | 2020-11-19 | Paper |
| The logic of contextuality | 2020-11-05 | Paper |
| Relating Structure and Power: Extended Version | 2020-10-13 | Paper |
Classical logic, classical probability, and quantum mechanics
Jerusalem Studies in Philosophy and History of Science | 2020-08-31 | Paper |
The quantum monad on relational structures
(available as arXiv preprint) | 2020-05-26 | Paper |
Arrow’s Theorem by Arrow Theory
Logic Without Borders | 2020-02-03 | Paper |
Whither semantics?
Theoretical Computer Science | 2020-01-22 | Paper |
| scientific article; zbMATH DE number 7075872 (Why is no real title available?) | 2019-07-03 | Paper |
scientific article; zbMATH DE number 7075872 (Why is no real title available?)
(available as arXiv preprint) | 2019-07-03 | Paper |
A complete characterization of all-versus-nothing arguments for stabilizer states
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2018-12-12 | Paper |
Relating structure and power: comonadic semantics for computational resources (extended abstract)
(available as arXiv preprint) | 2018-10-23 | Paper |
Relational databases and Bell's theorem
(available as arXiv preprint) | 2018-10-18 | Paper |
Game semantics for dependent types
Information and Computation | 2018-06-14 | Paper |
Minimum quantum resources for strong non-locality
(available as arXiv preprint) | 2018-05-03 | Paper |
Contextuality, Cohomology and Paradox
(available as arXiv preprint) | 2017-08-31 | Paper |
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
Mathematical Structures in Computer Science | 2017-06-14 | Paper |
Operational theories and categorical quantum mechanics
(available as arXiv preprint) | 2016-12-20 | Paper |
Possibilities determine the combinatorial structure of probability polytopes
Journal of Mathematical Psychology | 2016-11-01 | Paper |
Hardy is (almost) everywhere: nonlocality without inequalities for almost all entangled multipartite states
Information and Computation | 2016-10-06 | Paper |
Robin Milner's Work on Concurrency
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Game semantics for access control
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Games for dependent types
Automata, Languages, and Programming | 2015-11-04 | Paper |
What are the fundamental structures of concurrency? We still don't know!
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Intensionality, definability and computation
Outstanding Contributions to Logic | 2015-05-11 | Paper |
From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
Journal of Computer and System Sciences | 2015-04-28 | Paper |
Events in context
Theoretical Computer Science | 2014-07-25 | Paper |
An Operational Interpretation of Negative Probabilities and No-Signalling Models
Lecture Notes in Computer Science | 2014-06-02 | Paper |
Semantic unification. A sheaf theoretic approach to natural language
Lecture Notes in Computer Science | 2014-05-08 | Paper |
Event domains, stable functions and proof-nets
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Big toy models. Representing physical systems as Chu spaces
Synthese | 2013-11-25 | Paper |
Categorical quantum mechanics
(available as arXiv preprint) | 2013-10-04 | Paper |
Logic and categories as tools for building theories
(available as arXiv preprint) | 2013-10-04 | Paper |
Physical traces: quantum vs. classical information processing
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
Coalgebras, Chu spaces, and representations of physical systems
Journal of Philosophical Logic | 2013-08-09 | Paper |
Relational hidden variables and non-locality
Studia Logica | 2013-06-13 | Paper |
Heterotic computing examples with optics, bacteria, and chemicals
Unconventional Computation and Natural Computation | 2012-11-08 | Paper |
\(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
(available as arXiv preprint) | 2012-10-01 | Paper |
From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
Coalgebraic Methods in Computer Science | 2012-09-20 | Paper |
A Generalized Kahn Principle for Abstract Asynchronous Networks
(available as arXiv preprint) | 2011-12-02 | Paper |
A Cook's tour of the finitary non-well-founded sets
(available as arXiv preprint) | 2011-06-21 | Paper |
Introduction to categories and categorical logic
New Structures for Physics | 2011-05-31 | Paper |
From CSP to game semantics
Reflections on the Work of C.A.R. Hoare | 2010-10-26 | Paper |
| scientific article; zbMATH DE number 5734939 (Why is no real title available?) | 2010-07-09 | Paper |
No-cloning in categorical quantum mechanics
(available as arXiv preprint) | 2010-05-14 | Paper |
From IF to BI. A tale of dependence and separation
Synthese | 2009-08-11 | Paper |
Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)
Computer Science Logic | 2009-03-05 | Paper |
Petri Nets, Discrete Physics, and Distributed Quantum Computation
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics
(available as arXiv preprint) | 2008-03-20 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2006-10-31 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
A categorical quantum logic
Mathematical Structures in Computer Science | 2006-08-28 | Paper |
A structural approach to reversible computation
Theoretical Computer Science | 2006-01-10 | Paper |
Linear realizability and full completeness for typed lambda-calculi
Annals of Pure and Applied Logic | 2005-06-23 | Paper |
| Abstract Physical Traces | 2005-06-01 | Paper |
Abstract Physical Traces
(available as arXiv preprint) | 2005-06-01 | Paper |
| Abstract Physical Traces | 2005-06-01 | Paper |
A game semantics for generic polymorphism
Annals of Pure and Applied Logic | 2005-04-21 | Paper |
| scientific article; zbMATH DE number 2110612 (Why is no real title available?) | 2004-10-26 | Paper |
Sequentiality vs. concurrency in games and logic
Mathematical Structures in Computer Science | 2004-03-30 | Paper |
| scientific article; zbMATH DE number 1956502 (Why is no real title available?) | 2003-07-30 | Paper |
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science | 2003-03-13 | Paper |
Full abstraction for PCF
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1841836 (Why is no real title available?) | 2002-12-04 | Paper |
| scientific article; zbMATH DE number 1759401 (Why is no real title available?) | 2002-11-04 | Paper |
| scientific article; zbMATH DE number 1670474 (Why is no real title available?) | 2001-11-11 | Paper |
Process realizability
(available as arXiv preprint) | 2001-10-21 | Paper |
A fully abstract denotational semantics for the calculus of higher-order communicating systems
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1342245 (Why is no real title available?) | 2001-05-28 | Paper |
| scientific article; zbMATH DE number 1497730 (Why is no real title available?) | 2001-03-06 | Paper |
Full abstraction for idealized Algol with passive expressions
Theoretical Computer Science | 2000-08-23 | Paper |
scientific article; zbMATH DE number 1479606 (Why is no real title available?)
(available as arXiv preprint) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 910713 (Why is no real title available?) | 2000-04-26 | Paper |
Nuclear and trace ideals in tensored \(^*\)-categories
Journal of Pure and Applied Algebra | 2000-02-15 | Paper |
A specification structure for deadlock-freedom of synchronous processes
Theoretical Computer Science | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1318513 (Why is no real title available?) | 1999-08-08 | Paper |
| scientific article; zbMATH DE number 1241697 (Why is no real title available?) | 1999-05-18 | 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 |
| scientific article; zbMATH DE number 1088044 (Why is no real title available?) | 1997-11-17 | Paper |
Proofs as processes
Theoretical Computer Science | 1996-07-17 | Paper |
| scientific article; zbMATH DE number 860033 (Why is no real title available?) | 1996-07-01 | Paper |
An internal language for autonomous categories
Applied Categorical Structures | 1995-02-16 | Paper |
Games and full completeness for multiplicative linear logic
Journal of Symbolic Logic | 1994-08-15 | Paper |
New foundations for the geometry of interaction
Information and Computation | 1994-07-18 | Paper |
Computational interpretations of linear logic
Theoretical Computer Science | 1994-07-07 | Paper |
Quantales, observational logic and process semantics
Mathematical Structures in Computer Science | 1994-06-14 | Paper |
Domain theory in logical form
Annals of Pure and Applied Logic | 1992-06-25 | Paper |
A domain equation for bisimulation
Information and Computation | 1991-01-01 | Paper |
Abstract Interpretation, Logical Relations, and Kan Extensions
Journal Of Logic And Computation | 1990-01-01 | Paper |
Mixed computation of Prolog programs
New Generation Computing | 1988-01-01 | Paper |
Observation equivalence as a testing equivalence
Theoretical Computer Science | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3960961 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4014021 (Why is no real title available?) | 1986-01-01 | Paper |
Strictness analysis for higher-order functions
Science of Computer Programming | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3940707 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3856436 (Why is no real title available?) | 1983-01-01 | Paper |
Team Semantics and Independence Notions in Quantum Physics
(available as arXiv preprint) | N/A | Paper |
Linear Arboreal Categories
(available as arXiv preprint) | N/A | Paper |
