529 citations · 1.5k across the 38 of their papers we have counts for
41 papers
A Rewriting Theory for Quantum Lambda-Calculus
Claudia Faggian, Gaetan Lopez, Benoît Valiron
Quantum lambda calculus has been studied mainly as an idealized programming language -- the evaluation essentially corresponds to a deterministic abstract machine. Very little work…
Proceedings of the Twentieth International Conference on Quantum Physics and Logic
Shane Mansfield, Benoît Valiron, Vladimir Zamdzhiev
This volume contains the proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023). The aim of the QPL conference series is to bring together academi…
A Curry-Howard Correspondence for Linear, Reversible Computation
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
In this paper, we present a linear and reversible programming language with inductives types and recursion. The semantics of the languages is based on pattern-matching; we show how…
Geometry of Interaction for ZX-Diagrams
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
ZX-Calculus is a versatile graphical language for quantum computation equipped with an equational theory. Getting inspiration from Geometry of Interaction, in this paper we propose…
A Complete Equational Theory for Quantum Circuits
Alexandre Clément, Nicolas Heurtel, Shane Mansfield +2
We introduce the first complete equational theory for quantum circuits. More precisely, we introduce a set of circuit equations that we prove to be sound and complete: two circuits…
Strong Simulation of Linear Optical Processes
Nicolas Heurtel, Shane Mansfield, Jean Senellart +1
In this paper, we provide an algorithm and general framework for the simulation of photons passing through linear optical interferometers. Given photons at the input of an -…