| Publication | Date of Publication | Type |
|---|
| Generators and relations for real stabilizer operators | 2024-11-29 | Paper |
| Generators and relations for \(U_n(\mathbb{Z}[\frac{1}{2}, i])\) | 2024-11-29 | Paper |
| Generators and relations for the group \(\mathrm{O}_n(\mathbb{Z}[\frac{1}{2}])\) | 2024-11-29 | Paper |
| Generators and Relations for 3-Qubit Clifford+CS Operators | 2024-03-22 | Paper |
| Towards an induction principle for nested data types | 2024-02-28 | Paper |
| First-order axioms for asynchrony | 2023-05-17 | Paper |
| Linear Dependent Type Theory for Quantum Programming Languages | 2022-10-06 | Paper |
| On the combinatorial value of Hex positions | 2022-08-08 | Paper |
| On the Lambek embedding and the category of product-preserving presheaves | 2022-05-12 | Paper |
| A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting | 2022-04-27 | Paper |
| Proto-Quipper with dynamic lifting | 2022-04-27 | Paper |
| There are infinitely many monotone games over $L_5$ | 2022-03-25 | Paper |
| A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) | 2021-12-17 | Paper |
| All passable games are realizable as monotone set coloring games | 2021-11-19 | Paper |
| A tutorial introduction to quantum circuit programming in dependently typed proto-quipper | 2021-07-05 | Paper |
| Completely positive projections and biproducts | 2021-06-29 | Paper |
| Linear Dependent Type Theory for Quantum Programming Languages | 2021-01-21 | Paper |
| Finite dimensional Hilbert spaces are complete for dagger compact closed categories (extended abstract) | 2016-10-07 | Paper |
| A Finite Alternation Result for Reversible Boolean Circuits | 2016-08-10 | Paper |
| Reversible k-valued logic circuits are finitely generated for odd k | 2016-04-06 | Paper |
| Generators and relations for n-qubit Clifford operators | 2015-08-25 | Paper |
| Applying quantitative semantics to higher-order quantum computing | 2014-04-10 | Paper |
| On a fully abstract model for a quantum linear functional language (extended abstract) | 2014-01-17 | Paper |
| Idempotents in dagger categories (extended abstract) | 2014-01-17 | Paper |
| An Introduction to Quantum Programming in Quipper | 2013-12-17 | Paper |
| Dagger compact closed categories and completely positive maps (extended abstract) | 2013-12-06 | Paper |
| Models for an adversary-centric protocol logic | 2013-07-24 | Paper |
| Presheaf models of quantum computation: an outline | 2013-05-28 | Paper |
| Partially traced categories | 2013-03-06 | Paper |
| Finite dimensional Hilbert spaces are complete for dagger compact closed categories | 2012-08-15 | Paper |
| A survey of graphical languages for monoidal categories | 2011-05-31 | Paper |
| Tree checking for sparse complexes | 2010-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3560839 | 2010-05-14 | Paper |
| A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract) | 2008-04-11 | Paper |
| Simplicial cycles and the computation of simplicial trees | 2007-10-23 | Paper |
| Functional and Logic Programming | 2007-09-25 | Paper |
| A lambda calculus for quantum computation with classical control | 2006-08-28 | Paper |
| Typed Lambda Calculi and Applications | 2005-11-11 | Paper |
| Order-incompleteness and finite lambda reduction models | 2004-10-27 | Paper |
| Towards a quantum programming language | 2004-09-24 | Paper |
| The lambda calculus is algebraic | 2002-01-01 | Paper |
| Control categories and duality: On the categorical semantics of the lambda-mu calculus | 2001-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4261081 | 1999-09-20 | Paper |
