research
∙
11/21/2021
Qimaera: Type-safe (Variational) Quantum Programming in Idris
Variational Quantum Algorithms are hybrid classical-quantum algorithms w...
share
research
∙
07/19/2021
Strong shift equivalence as a category notion
In this paper, we present a completely radical way to investigate the ma...
research
∙
08/10/2020
On a recipe for quantum graphical languages
Different graphical calculi have been proposed to represent quantum comp...
research
∙
03/13/2019
Completeness of the ZX-Calculus
The ZX-Calculus is a graphical language for diagrammatic reasoning in qu...
research
∙
10/12/2018
The rational fragment of the ZX-calculus
We introduce here a new axiomatisation of the rational fragment of the Z...
research
∙
08/28/2018