35 citations
- Centre National de la Recherche ScientifiqueFR5 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR4 papers
- Laboratoire d'Informatique de GrenobleFR3 papers
- Université de LorraineFR3 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- MOCQUA: Modèles de calcul émergentsFR2 papers
- Aix-Marseille UniversitéFR1 paper
- Atos (France)FR1 paper
- CentraleSupélecFR1 paper
- Centre Inria de l'Université de LorraineFR1 paper
- Château GombertFR1 paper
- École Nationale Supérieure des Mines de NancyFR1 paper
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2022
A programming language characterizing quantum polynomial time
Emmanuel Hainry, Romain Péchoux, Mário Silva
We introduce a first-order quantum programming language, named FOQ, whose terminating programs are reversible. We restrict FOQ to a strict and tractable subset, named PFOQ, of term…
cs.LO2020★ 4 cited
On a recipe for quantum graphical languages
Titouan Carette, Emmanuel Jeandel
Different graphical calculi have been proposed to represent quantum computation. First the ZX- calculus [4], followed by the ZW-calculus [12] and then the ZH-calculus [1]. We can w…
cs.LO2020★ 3 cited
Colored props for large scale graphical reasoning
Titouan Carette, Simon Perdrix
The prop formalism allows representation of processes withstring diagrams and has been successfully applied in various areas such as quantum computing, electric circuits and contro…