Publication | Date of Publication | Type |
---|
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 |
Idempotents in Dagger Categories | 2014-01-17 | Paper |
On a Fully Abstract Model for a Quantum Linear Functional Language | 2014-01-17 | Paper |
An Introduction to Quantum Programming in Quipper | 2013-12-17 | Paper |
Dagger Compact Closed Categories and Completely Positive Maps | 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 |