| Publication | Date of Publication | Type |
|---|
| A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories | 2026-04-02 | Paper |
| Quantum channels as a categorical completion | 2024-12-19 | Paper |
| Monads for measurable queries in probabilistic databases | 2024-12-17 | Paper |
| Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction | 2024-12-06 | Paper |
| Probabilistic Programming with Exact Conditions | 2023-12-28 | Paper |
| Denotational semantics for languages for inference: semirings, monads, and tensors | 2023-12-27 | Paper |
scientific article; zbMATH DE number 7700630 (Why is no real title available?)
(available as arXiv preprint) | 2023-06-23 | Paper |
| Some Formal Structures in Probability (Invited Talk) | 2023-06-23 | Paper |
scientific article; zbMATH DE number 7566054 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-02 | Paper |
| scientific article; zbMATH DE number 7566054 (Why is no real title available?) | 2022-08-02 | Paper |
| Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction) | 2022-05-31 | Paper |
| Classical control and quantum circuits in enriched category theory | 2022-04-25 | Paper |
| A monad for probabilistic point processes | 2022-01-10 | Paper |
A monad for probabilistic point processes
(available as arXiv preprint) | 2022-01-10 | Paper |
| Universal Properties in Quantum Theory | 2021-12-20 | Paper |
Universal Properties in Quantum Theory
(available as arXiv preprint) | 2021-12-20 | Paper |
The beta-Bernoulli process and algebraic effects
(available as arXiv preprint) | 2021-07-28 | Paper |
De Finetti's construction as a categorical limit
(available as arXiv preprint) | 2021-02-22 | Paper |
Probabilistic Programs as Measures
Foundations of Probabilistic Programming | 2021-02-16 | Paper |
| Compositional Semantics for Probabilistic Programs with Exact Conditioning | 2021-01-27 | Paper |
| A Convenient Category for Higher-Order Probability Theory | 2021-01-19 | Paper |
A Convenient Category for Higher-Order Probability Theory
(available as arXiv preprint) | 2021-01-19 | Paper |
| A monad for full ground reference cells | 2021-01-19 | Paper |
A monad for full ground reference cells
(available as arXiv preprint) | 2021-01-19 | Paper |
Correctness of automatic differentiation via diffeologies and categorical gluing
(available as arXiv preprint) | 2020-09-23 | Paper |
| Probabilistic Programming Semantics for Name Generation | 2020-07-16 | Paper |
Classical control, quantum circuits and linear logic in enriched category theory
(available as arXiv preprint) | 2020-05-12 | Paper |
| Classical control, quantum circuits and linear logic in enriched category theory | 2020-05-12 | Paper |
De Finetti's construction as a categorical limit
(available as arXiv preprint) | 2020-03-04 | Paper |
| A sound and complete logic for algebraic effects | 2020-01-28 | Paper |
| Quantum channels as a categorical completion | 2019-04-21 | Paper |
Effect algebras, presheaves, non-locality and contextuality
Information and Computation | 2018-06-14 | Paper |
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Substitution, jumps, and algebraic effects
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Transition systems over games
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
(available as arXiv preprint) | 2017-11-14 | Paper |
Backtracking with cut via a distributive law and left-zero monoids
Journal of Functional Programming | 2017-10-23 | Paper |
| Models for polymorphism over physical dimension | 2017-07-12 | Paper |
Instances of computational effects: an algebraic perspective
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Commutative semantics for probabilistic programming
Programming Languages and Systems | 2017-05-19 | Paper |
| Complete positivity and natural representation of quantum computations | 2016-12-16 | Paper |
Algebraic effects, linearity, and quantum programming languages
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Two cotensors in one: presentations of algebraic theories for local state and fresh names
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
| Freyd categories are enriched Lawvere theories | 2016-05-06 | Paper |
| Normalization by evaluation and algebraic effects | 2016-04-12 | Paper |
Effect algebras, presheaves, non-locality and contextuality
Automata, Languages, and Programming | 2015-11-04 | Paper |
Universal properties of impure programming languages
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
Linear usage of state
Logical Methods in Computer Science | 2014-04-09 | Paper |
| Comparing operational models of name-passing process calculi | 2013-09-11 | Paper |
An algebraic presentation of predicate logic (extended abstract)
Lecture Notes in Computer Science | 2013-03-18 | Paper |
Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Linearly-used state in models of call-by-value
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Relating coalgebraic notions of bisimulation
Logical Methods in Computer Science | 2011-05-26 | Paper |
Higher-order containers
Programs, Proofs, Processes | 2010-07-29 | Paper |
Completeness for algebraic theories of local state
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
A congruence rule format for name-passing process calculi
Information and Computation | 2009-04-14 | Paper |
Comparing operational models of name-passing process calculi
Information and Computation | 2006-06-30 | Paper |
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
(available as arXiv preprint) | N/A | Paper |
Scoped Effects as Parameterized Algebraic Theories
(available as arXiv preprint) | N/A | Paper |
