| Publication | Date of Publication | Type |
|---|
| A fresh look at bivariate binomial distributions | 2026-08-11 | Paper |
| Compositional inference for Bayesian networks and causality | 2026-08-11 | Paper |
| Pearl's and Jeffrey's update as modes of learning in probabilistic programming | 2026-04-02 | Paper |
| Sufficient statistics and split idempotents in discrete probability theory | 2026-04-02 | Paper |
| Overdrawing urns using categories of signed probabilities | 2025-08-05 | Paper |
Drawing with distance
Logical Methods in Computer Science | 2025-05-06 | Paper |
| Some probabilistic riddles and some logical solutions | 2025-02-07 | Paper |
| Multinomial and hypergeometric distributions in Markov categories | 2024-12-17 | Paper |
| Learning from what's right and learning from what's wrong | 2024-12-17 | Paper |
| Partitions and Ewens distributions in element-free probability theory | 2024-12-06 | Paper |
| Drawing from an urn is isometric | 2024-10-30 | Paper |
| Multisets and distributions, in drawing and learning | 2024-10-01 | Paper |
| Counting and matching | 2024-09-25 | Paper |
| Uniqueness types for efficient and verifiable aliasing-free embedded systems programming | 2024-04-19 | Paper |
| Overdrawing Urns using Categories of Signed Probabilities | 2023-12-14 | Paper |
Urns & Tubes
Compositionality | 2023-01-12 | Paper |
| Stick breaking, in coalgebra and probability | 2022-12-07 | Paper |
On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
Category Theory and Computer Science | 2022-08-16 | Paper |
Mongruences and cofree coalgebras
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
Mathematical Structures in Computer Science | 2022-05-17 | Paper |
| Learning along a channel: the expectation part of expectation-maximisation | 2022-04-29 | Paper |
Neural nets via forward state transformation and backward loss transformation
(available as arXiv preprint) | 2022-04-29 | Paper |
| A note on distances between probabilistic and quantum distributions | 2022-04-25 | Paper |
Ghost signals: verifying termination of busy waiting
(available as arXiv preprint) | 2022-03-25 | Paper |
scientific article; zbMATH DE number 7449983 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
| scientific article; zbMATH DE number 7449983 (Why is no real title available?) | 2021-12-20 | Paper |
Quotient-comprehension chains
(available as arXiv preprint) | 2021-12-06 | Paper |
| Quotient-comprehension chains | 2021-12-06 | Paper |
Towards a categorical account of conditional probability
(available as arXiv preprint) | 2021-12-06 | Paper |
| Towards a categorical account of conditional probability | 2021-12-06 | Paper |
Steps and traces
Journal Of Logic And Computation | 2021-10-21 | Paper |
Relating apartness and bisimulation
(available as arXiv preprint) | 2021-10-08 | Paper |
| Relating apartness and bisimulation | 2021-10-08 | Paper |
Urns & Tubes
(available as arXiv preprint) | 2021-10-05 | Paper |
| Learning to coordinate | 2021-06-03 | Paper |
| The expectation monad in quantum foundations | 2021-04-27 | Paper |
De Finetti's construction as a categorical limit
(available as arXiv preprint) | 2021-02-22 | Paper |
The Logical Essentials of Bayesian Reasoning
Foundations of Probabilistic Programming | 2021-02-16 | Paper |
| A formal semantics of influence in Bayesian reasoning | 2020-05-26 | Paper |
Distances between states and between predicates
(available as arXiv preprint) | 2020-05-12 | Paper |
| Distances between states and between predicates | 2020-05-12 | Paper |
De Finetti's construction as a categorical limit
(available as arXiv preprint) | 2020-03-04 | Paper |
Causal inference by string diagram surgery
(available as arXiv preprint) | 2020-01-28 | Paper |
Disintegration and Bayesian inversion via string diagrams
Mathematical Structures in Computer Science | 2019-11-15 | Paper |
| Deadlock-free monitors | 2019-09-13 | Paper |
The mathematics of changing one's mind, via Jeffrey's or via Pearl's update rule
Journal of Artificial Intelligence Research | 2019-09-13 | Paper |
Causal Inference by String Diagram Surgery
(available as arXiv preprint) | 2018-11-20 | Paper |
Steps and traces
(available as arXiv preprint) | 2018-10-23 | Paper |
| Steps and traces | 2018-10-23 | Paper |
| The EfProb library for probabilistic calculations | 2018-08-13 | Paper |
A type theory for probabilistic and Bayesian reasoning
(available as arXiv preprint) | 2018-08-13 | Paper |
| Effectuses from monads | 2018-04-23 | Paper |
| A predicate/state transformer semantics for Bayesian learning | 2018-04-23 | Paper |
Healthiness from Duality
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Healthiness from Duality
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Quantum effect logic in cognition
Journal of Mathematical Psychology | 2018-01-19 | Paper |
| Polymorphic encryption and pseudonymisation in identity management and medical research | 2018-01-09 | Paper |
From probability monads to commutative effectuses
Journal of Logical and Algebraic Methods in Programming | 2017-12-01 | Paper |
Category theory in Coq 8.5
(available as arXiv preprint) | 2017-10-17 | Paper |
Hyper normalisation and conditioning for discrete probability distributions
(available as arXiv preprint) | 2017-10-12 | Paper |
A recipe for state-and-effect triangles
(available as arXiv preprint) | 2017-07-11 | Paper |
Measurable spaces and their effect logic
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| A recipe for state-and-effect triangles | 2017-06-22 | Paper |
Relating operator spaces via adjunctions
(available as arXiv preprint) | 2016-12-20 | Paper |
An effect-theoretic account of Lebesgue integration
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
Introduction to coalgebra. Towards mathematics of states and observation
Cambridge Tracts in Theoretical Computer Science | 2016-10-26 | Paper |
Quantum logic in dagger kernel categories
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
The expectation monad in quantum foundations
Information and Computation | 2016-10-06 | Paper |
Security monitor inlining and certification for multithreaded Java
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Affine Monads and Side-Effect-Freeness
Coalgebraic Methods in Computer Science | 2016-07-15 | Paper |
Coalgebraic representation theory of fractals
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
The fall of a tiny star
The New Codebreakers | 2016-05-02 | Paper |
| On block structures in quantum computation | 2016-04-12 | Paper |
Dijkstra and Hoare monads in monadic computation
Theoretical Computer Science | 2015-11-10 | Paper |
Featherweight VeriFast
Logical Methods in Computer Science | 2015-10-29 | Paper |
New directions in categorical logic, for classical, probabilistic and quantum logic
Logical Methods in Computer Science | 2015-10-29 | Paper |
States of convex sets
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Dijkstra Monads in Monadic Computation
Advanced Information Systems Engineering | 2015-09-11 | Paper |
From Kleisli categories to commutative C^*-algebras: probabilistic Gelfand duality
Logical Methods in Computer Science | 2015-08-25 | Paper |
Trace semantics via determinization
Journal of Computer and System Sciences | 2015-04-28 | Paper |
Automata Learning: A Categorical Perspective
Lecture Notes in Computer Science | 2014-06-02 | Paper |
Scalars, monads and categories
(available as arXiv preprint) | 2014-05-19 | Paper |
Initial algebras of terms with binding and algebraic structure
Lecture Notes in Computer Science | 2014-05-08 | Paper |
An introduction to (co)algebra and (co)induction
Advanced Topics in Bisimulation and Coinduction | 2014-04-24 | Paper |
Expressive modular fine-grained concurrency specification
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
| Generic trace theory | 2013-12-04 | Paper |
Dagger categories of tame relations
Logica Universalis | 2013-11-19 | Paper |
| Arrows, like monads, are monoids | 2013-10-10 | Paper |
Bases as coalgebras
Logical Methods in Computer Science | 2013-09-26 | Paper |
From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
| Relating two approaches to coinductive solution of recursive equations | 2013-09-11 | Paper |
| Trace semantics for coalgebras | 2013-09-11 | Paper |
| Simulations in coalgebra | 2013-08-23 | Paper |
Factorization systems and fibrations: toward a fibred Birkhoff variety theorem
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
Comprehension for coalgebras
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Involutive categories and monoids, with a GNS-correspondence
Foundations of Physics | 2013-01-07 | Paper |
Coreflections in algebraic quantum logic
Foundations of Physics | 2013-01-07 | Paper |
From coalgebraic to monoidal traces
Electronic Notes in Theoretical Computer Science | 2012-10-02 | Paper |
Trace semantics via determinization
Coalgebraic Methods in Computer Science | 2012-09-20 | Paper |
Fibrational induction meets effects
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Coalgebraic components in a many-sorted microcosm
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Traces, Executions and Schedulers, Coalgebraically
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Bases as coalgebras
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Logical formalisation and analysis of the Mifare Classic card in PVS
Interactive Theorem Proving | 2011-08-17 | Paper |
Probabilities, distribution monads, and convex categories
Theoretical Computer Science | 2011-07-07 | Paper |
Traces for coalgebraic components
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
