317 citations · 324 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
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…
cs.LO2022★ 2 cited
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…