| Publication | Date of Publication | Type |
|---|
| Probabilistic Programming with Exact Conditions | 2023-12-28 | Paper |
| Denotational semantics for languages for inference: semirings, monads, and tensors | 2023-12-27 | Paper |
| Some Formal Structures in Probability (Invited Talk) | 2023-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6159941 | 2023-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5094126 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5019656 | 2022-01-10 | Paper |
| Universal Properties in Quantum Theory | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5002829 | 2021-07-28 | Paper |
| De Finetti's construction as a categorical limit | 2021-02-22 | Paper |
| Probabilistic Programs as Measures | 2021-02-16 | Paper |
| Compositional Semantics for Probabilistic Programs with Exact Conditioning | 2021-01-27 | Paper |
| A monad for full ground reference cells | 2021-01-19 | Paper |
| A Convenient Category for Higher-Order Probability Theory | 2021-01-19 | Paper |
| Correctness of automatic differentiation via diffeologies and categorical gluing | 2020-09-23 | Paper |
| Probabilistic Programming Semantics for Name Generation | 2020-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5109520 | 2020-05-12 | Paper |
| De Finetti's construction as a categorical limit | 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 | 2018-06-14 | Paper |
| Substitution, jumps, and algebraic effects | 2018-04-23 | Paper |
| Transition systems over games | 2018-04-23 | Paper |
| Semantics for probabilistic programming | 2018-04-23 | Paper |
| Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory | 2017-11-14 | Paper |
| Backtracking with cut via a distributive law and left-zero monoids | 2017-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277830 | 2017-07-12 | Paper |
| Instances of Computational Effects: An Algebraic Perspective | 2017-07-03 | Paper |
| Commutative Semantics for Probabilistic Programming | 2017-05-19 | Paper |
| Complete positivity and natural representation of quantum computations | 2016-12-16 | Paper |
| Algebraic Effects, Linearity, and Quantum Programming Languages | 2016-09-29 | Paper |
| Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names | 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 | 2015-11-04 | Paper |
| Universal properties of impure programming languages | 2014-11-27 | Paper |
| Linear usage of state | 2014-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847808 | 2013-09-11 | Paper |
| An Algebraic Presentation of Predicate Logic | 2013-03-18 | Paper |
| Relating Coalgebraic Notions of Bisimulation | 2012-06-01 | Paper |
| Linearly-Used State in Models of Call-by-Value | 2011-09-02 | Paper |
| Relating coalgebraic notions of bisimulation | 2011-05-26 | Paper |
| Higher-Order Containers | 2010-07-29 | Paper |
| Completeness for Algebraic Theories of Local State | 2010-04-27 | Paper |
| A congruence rule format for name-passing process calculi | 2009-04-14 | Paper |
| Comparing operational models of name-passing process calculi | 2006-06-30 | Paper |
