| Publication | Date of Publication | Type |
|---|
| Central submonads and notions of computation: soundness, completeness and internal languages | 2026-02-27 | Paper |
| Combining quantum and classical control: syntax, semantics and adequacy | 2025-12-04 | Paper |
| Quantum expectation transformers for cost analysis | 2024-12-06 | Paper |
| Semantics for a lambda calculus for string diagrams | 2024-10-01 | Paper |
scientific article; zbMATH DE number 7774244 (Why is no real title available?)
(available as arXiv preprint) | 2023-12-08 | Paper |
| Type-safe quantum programming in Idris | 2023-11-24 | Paper |
| Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages | 2022-07-19 | Paper |
| scientific article; zbMATH DE number 7454912 (Why is no real title available?) | 2022-01-10 | Paper |
scientific article; zbMATH DE number 7454912 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-10 | Paper |
| scientific article; zbMATH DE number 7453968 (Why is no real title available?) | 2022-01-07 | Paper |
scientific article; zbMATH DE number 7453968 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-07 | Paper |
| scientific article; zbMATH DE number 7450015 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7450015 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
| Semantics for Variational Quantum Programming | 2021-07-28 | Paper |
| The ZX-calculus is incomplete for quantum mechanics | 2021-06-29 | Paper |
The ZX-calculus is incomplete for quantum mechanics
(available as arXiv preprint) | 2021-06-29 | Paper |
scientific article; zbMATH DE number 7350775 (Why is no real title available?)
(available as arXiv preprint) | 2021-05-25 | Paper |
| scientific article; zbMATH DE number 7350775 (Why is no real title available?) | 2021-05-25 | Paper |
Semantics for first-order affine inductive data types via slice categories
(available as arXiv preprint) | 2021-02-22 | Paper |
| Commutative Monads for Probabilistic Programming Languages | 2021-01-31 | Paper |
Enriching a linear/non-linear lambda calculus: a programming language for string diagrams
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Quantum programming with inductive datatypes: causality and affine type theory
(available as arXiv preprint) | 2020-09-23 | Paper |
Reflecting Algebraically Compact Functors
(available as arXiv preprint) | 2019-06-23 | Paper |
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
(available as arXiv preprint) | 2019-06-22 | Paper |
Quantomatic: a proof assistant for diagrammatic reasoning
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Equational reasoning with context-free families of string diagrams
Graph Transformation | 2015-09-22 | Paper |
| !-Graphs with Trivial Overlap are Context-Free | 2015-01-24 | Paper |
| MathML-aware article conversion from LaTeX a comparison study | 2009-10-26 | Paper |
| MathML-aware article conversion from LaTeX a comparison study | 2009-10-26 | Paper |
