research
∙
09/21/2023
Semantics for a Turing-complete Reversible Programming Language with Inductive Types
This paper is concerned with the expressivity and denotational semantics...
share
research
∙
02/23/2023
A Curry-Howard Correspondence for Linear, Reversible Computation
In this paper, we present a linear and reversible programming language w...
research
∙
06/22/2022
Geometry of Interaction for ZX-Diagrams
ZX-Calculus is a versatile graphical language for quantum computation eq...
research
∙
06/21/2022
The Many-Worlds Calculus
We propose a new typed graphical language for quantum computation, based...
research
∙
04/25/2022
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits
We introduce the LOv-calculus, a graphical language for reasoning about ...
research
∙
10/06/2021
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
In this paper, we introduce dynamic lifting to a quantum circuit-descrip...
research
∙
09/14/2021
Formal Methods for Quantum Programs: A Survey
While recent progress in quantum hardware open the door for significant ...
research
∙
09/13/2021
Categorical Semantics of Reversible Pattern-Matching
This paper is concerned with categorical structures for reversible compu...
research
∙
09/03/2021
Proceedings 17th International Conference on Quantum Physics and Logic
This volume contains the proceedings of the 17th International Conferenc...
research
∙
07/24/2021
Reasoning about Recursive Quantum Programs
Most modern (classical) programming languages support recursion. Recursi...
research
∙
02/09/2021
An Interactive Proof of Termination for a Concurrent λ-calculus with References and Explicit Substitutions
In this paper we introduce a typed, concurrent λ-calculus with reference...
research
∙
03/12/2020
A Deductive Verification Framework for Circuit-building Quantum Programs
While recent progress in quantum hardware open the door for significant ...
research
∙
04/18/2019
Realizability in the Unitary Sphere
In this paper we present a semantics for a linear algebraic lambda-calcu...
research
∙
04/03/2018