Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

méthodes formelles, logique et langages de programmation, calcul quantique

Publications (55)

Communication dans un congrès 27/10/2025

Geometry of Interaction for ZX-Diagrams

Kostia Chardonnet , Renaud Vilmart , Benoit Valiron

Communication dans un congrès 27/10/2025

Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem

Timothée Goubault de Brugière , Marc Baboulin , Simon Martiel , Cyril Allouche , Benoit Valiron

Communication dans un congrès 13/10/2025

A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus

Pablo Arrighi , Alejandro Díaz-Caro , Benoit Valiron

Article dans une revue 13/10/2025

Addressable quantum gates

Pablo Arrighi , Christopher Cedzich , Marin Costes , Ulysse Rémond , Benoit Valiron

Article dans une revue 04/10/2025

Gaussian elimination versus Greedy methods for the synthesis of linear reversible circuits

Timothée Goubault de Brugière , Marc Baboulin , Simon Martiel , Cyril Allouche , Benoit Valiron

Article dans une revue 04/10/2025

Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures

Timothée Goubault de Brugière , Marc Baboulin , Simon Martiel , Cyril Allouche , Benoit Valiron

Communication dans un congrès 27/09/2025

Equivalence of algebraic λ-calculi

Alejandro Díaz-Caro , Simon Perdrix , Christine Tasson , Benoit Valiron

Article dans une revue 01/09/2025

The Many-Worlds Calculus

Kostia Chardonnet , Marc de Visme , Renaud Vilmart , Benoit Valiron

Communication dans un congrès 26/08/2025

The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects

Ugo Dal Lago , Claudia Faggian , Akira Yoshimizu , Benoit Valiron

Communication dans un congrès 26/08/2025

Parallelism and Synchronization in an Infinitary Context

Ugo Dal Lago , Claudia Faggian , Akira Yoshimizu , Benoit Valiron

Communication dans un congrès 22/07/2025

A Rewriting Theory for Quantum λ-Calculus

Claudia Faggian , Gaetan Lopez , Benoit Valiron

HDR 22/07/2025

On Quantum Programming Languages

Benoit Valiron

Communication dans un congrès 22/07/2025

A Complete Equational Theory for Quantum Circuits

Alexandre Clément , Nicolas Heurtel , Shane Mansfield , Simon Perdrix , Benoit Valiron

Article dans une revue 22/07/2025

Semantics of quantum programming languages: Classical control, quantum control

Benoit Valiron

Communication dans un congrès 22/07/2025

Qbricks, un environnement pour la vérification formelle en informatique quantique *

Christophe Chareton , Sébastien Bardin , François Bobot , Valentin Perelle , Benoit Valiron

Article dans une revue 22/07/2025

Strong Simulation of Linear Optical Processes

Nicolas Heurtel , Shane Mansfield , Jean Senellart , Benoit Valiron

Communication dans un congrès 22/07/2025

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

Dongho Lee , Valentin Perrelle , Zhaowei Xu , Benoit Valiron

22/07/2025

A Curry-Howard Correspondence for Linear, Reversible Computation

Kostia Chardonnet , Alexis Saurin , Benoit Valiron

Chapitre d'ouvrage 22/07/2025

Formal Methods for Quantum Algorithms

Christophe Chareton , Sébastien Bardin , Dong Ho Lee , Renaud Vilmart , Zhaowei Xu , Benoit Valiron

Communication dans un congrès 22/07/2025

A Curry-Howard Correspondence for Linear, Reversible Computation

Kostia Chardonnet , Alexis Saurin , Benoit Valiron

Communication dans un congrès 22/07/2025

Non-deterministic, probabilistic, and quantum effects through the lens of event structures

Marc de Visme , Vitor Fernandes , Benoit Valiron

Article dans une revue 22/07/2025

Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing

Nicolas Heurtel , Andreas Fyrillas , Grégoire De Gliniasty , Raphaël Le Bihan , Sébastien Malherbe , Marceau Pailhas , Eric Bertasi , Boris Bourdoncle , Pierre-Emmanuel Emeriau , Rawad Mezher , Luka Music , Nadia Belabas , Pascale Senellart , Shane Mansfield , Jean Senellart , Benoit Valiron

Communication dans un congrès 22/07/2025

Categorical Semantics of Reversible Pattern-Matching

Kostia Chardonnet , Louis Lemonnier , Benoit Valiron

Communication dans un congrès 22/07/2025

Towards a Curry-Howard Correspondence for Linear, Reversible Computation

Kostia Chardonnet , Alexis Saurin , Benoit Valiron

Communication dans un congrès 22/07/2025

Toward a Curry-Howard Equivalence for Linear, Reversible Computation

Kostia Chardonnet , Alexis Saurin , Benoit Valiron

Communication dans un congrès 22/07/2025

Semantics for a Turing-Complete Reversible Programming Language with Inductive Types

Kostia Chardonnet , Louis Lemonnier , Benoit Valiron

Communication dans un congrès 22/07/2025

A Complete Equational Theory for Quantum Circuits

Alexandre Clément , Nicolas Heurtel , Shane Mansfield , Simon Perdrix , Benoit Valiron

Proceedings 22/07/2025

Proceedings 17th International Conference on Quantum Physics and Logic

Shane Mansfield , Pablo Arrighi , Prakash Panangaden , Benoit Valiron

Communication dans un congrès 22/07/2025

LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits

Alexandre Clément , Nicolas Heurtel , Shane Mansfield , Simon Perdrix , Benoit Valiron

Proceedings 22/07/2025

Proceedings 20th International Conference on Quantum Physics and Logic

Shane Mansfield , Vladimir Zamdzhiev , Benoit Valiron