| 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
Electronic Proceedings in Theoretical Computer Science | 2024-03-22 | Paper |
Towards an induction principle for nested data types
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
First-order axioms for asynchrony
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
Linear dependent type theory for quantum programming languages
Logical Methods in Computer Science | 2022-10-06 | Paper |
| On the combinatorial value of Hex positions | 2022-08-08 | Paper |
On the combinatorial value of Hex positions
(available as arXiv preprint) | 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 |
A categorical model for a quantum circuit description language (extended abstract)
(available as arXiv preprint) | 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
(available as arXiv preprint) | 2021-07-05 | Paper |
| Completely positive projections and biproducts | 2021-06-29 | Paper |
Completely positive projections and biproducts
(available as arXiv preprint) | 2021-06-29 | Paper |
Linear dependent type theory for quantum programming languages: extended abstract
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Finite dimensional Hilbert spaces are complete for dagger compact closed categories (extended abstract)
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
A finite alternation result for reversible Boolean circuits
Reversible Computation | 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
Logical Methods in Computer Science | 2015-08-25 | Paper |
Applying quantitative semantics to higher-order quantum computing
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
On a fully abstract model for a quantum linear functional language (extended abstract)
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Idempotents in dagger categories (extended abstract)
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
An introduction to quantum programming in Quipper
Reversible Computation | 2013-12-17 | Paper |
Dagger compact closed categories and completely positive maps (extended abstract)
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Models for an adversary-centric protocol logic
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Presheaf models of quantum computation: an outline
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Partially traced categories
Journal of Pure and Applied Algebra | 2013-03-06 | Paper |
Finite dimensional Hilbert spaces are complete for dagger compact closed categories
Logical Methods in Computer Science | 2012-08-15 | Paper |
A survey of graphical languages for monoidal categories
New Structures for Physics | 2011-05-31 | Paper |
Tree checking for sparse complexes
Lecture Notes in Computer Science | 2010-09-14 | Paper |
| scientific article; zbMATH DE number 5708038 (Why is no real title available?) | 2010-05-14 | Paper |
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Simplicial cycles and the computation of simplicial trees
Journal of Symbolic Computation | 2007-10-23 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
A lambda calculus for quantum computation with classical control
Mathematical Structures in Computer Science | 2006-08-28 | Paper |
Typed Lambda Calculi and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Order-incompleteness and finite lambda reduction models
Theoretical Computer Science | 2004-10-27 | Paper |
Towards a quantum programming language
Mathematical Structures in Computer Science | 2004-09-24 | Paper |
The lambda calculus is algebraic
Journal of Functional Programming | 2002-01-01 | Paper |
Control categories and duality: On the categorical semantics of the lambda-mu calculus
MSCS. Mathematical Structures in Computer Science | 2001-07-17 | Paper |
| scientific article; zbMATH DE number 1330438 (Why is no real title available?) | 1999-09-20 | Paper |
