Geometry of Interaction for ZX-Diagrams - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2021

Geometry of Interaction for ZX-Diagrams


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 token-machine-based asynchronous model of pure ZX-Calculus We also show how to connect this new semantics to the usual standard interpretation of ZX-diagrams. This model allows us to have a new look at what ZX-diagrams compute, and give a more local, operational view of the semantics of ZX-diagrams.
Fichier principal
Vignette du fichier
TLLA_2021_paper_2.pdf (165.04 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

lirmm-03272411 , version 1 (28-06-2021)



  • HAL Id : lirmm-03272411 , version 1


Kostia Chardonnet, Benoît Valiron, Renaud Vilmart. Geometry of Interaction for ZX-Diagrams. TLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome / Virtual, Italy. ⟨lirmm-03272411⟩
191 View
157 Download


Gmail Mastodon Facebook X LinkedIn More