18 citations · 65 across the 19 of their papers we have counts for
5 papers · 1 filter
Intuitionistic Unitary Linear Logic: A Proof-Theoretical Approach to Purely Quantum Higher-Order
Julien Lamiroy, Benoît Valiron, Renaud Vilmart
Although the circuit model for quantum computation is well established, it is incapable of representing non-causal higher-order quantum processes such as the quantum switch. If sev…
The Tensor-Plus Calculus
Kostia Chardonnet, Marc de Visme, Benoît Valiron +1
We propose a graphical language that accommodates two monoidal structures: a multiplicative one for pairing and an additional one for branching. In this colored PROP, whether wires…
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing
Renaud Vilmart
The "Sum-Over-Paths" formalism is a way to symbolically manipulate linear maps that describe quantum systems, and is a tool that is used in formal verification of such systems. We…
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…
The Many-Worlds Calculus
Kostia Chardonnet, Marc de Visme, Benoît Valiron +1
In this paper, we explore the interaction between two monoidal structures: a multiplicative one, for the encoding of pairing, and an additive one, for the encoding of choice. We pr…