Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Site WEB

Publications (56)

Article dans une revue 15/07/2025

A Curry-Howard Correspondence for Linear, Reversible Computation

Kostia Chardonnet , Alexis Saurin , Benoit Valiron

Article dans une revue 01/05/2025

The Many-Worlds Calculus

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

Communication dans un congrès 01/01/2025

A Rewriting Theory for Quantum λ-Calculus

Claudia Faggian , Gaetan Lopez , Benoit Valiron

01/01/2025

The Tensor-Plus Calculus

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

Communication dans un congrès 01/10/2024

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

Marc de Visme , Vitor Fernandes , Benoit Valiron

HDR 24/09/2024

On Quantum Programming Languages

Benoit Valiron

Communication dans un congrès 01/01/2024

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

Kostia Chardonnet , Louis Lemonnier , Benoit Valiron

Chapitre d'ouvrage 01/08/2023

Formal Methods for Quantum Algorithms

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

Communication dans un congrès 24/07/2023

A Complete Equational Theory for Quantum Circuits

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

Communication dans un congrès 01/07/2023

A Complete Equational Theory for Quantum Circuits

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

Proceedings 01/07/2023

Proceedings 20th International Conference on Quantum Physics and Logic

Shane Mansfield , Vladimir Zamdzhiev , Benoit Valiron

Article dans une revue 24/04/2023

Addressable quantum gates

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

Article dans une revue 01/03/2023

On new PageRank computation methods using quantum computing

Théodore Chapuis-Chkaiban , Zeno Toffano , Benoit Valiron

Article dans une revue 21/02/2023

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 01/01/2023

A Curry-Howard Correspondence for Linear, Reversible Computation

Kostia Chardonnet , Alexis Saurin , Benoit Valiron

Communication dans un congrès 22/08/2022

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

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

Article dans une revue 01/08/2022

Semantics of quantum programming languages: Classical control, quantum control

Benoit Valiron

Article dans une revue 21/06/2022

Strong Simulation of Linear Optical Processes

Nicolas Heurtel , Shane Mansfield , Jean Senellart , Benoit Valiron

Article dans une revue 01/01/2022

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 29/12/2021

Categorical Semantics of Reversible Pattern-Matching

Kostia Chardonnet , Louis Lemonnier , Benoit Valiron

Communication dans un congrès 12/10/2021

Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus

Agustín Borgna , Simon Perdrix , Benoit Valiron

Proceedings 06/09/2021

Proceedings 17th International Conference on Quantum Physics and Logic

Shane Mansfield , Pablo Arrighi , Prakash Panangaden , Benoit Valiron

Communication dans un congrès 18/08/2021

Geometry of Interaction for ZX-Diagrams

Kostia Chardonnet , Renaud Vilmart , Benoit Valiron

Communication dans un congrès 25/06/2021

Geometry of Interaction for ZX-Diagrams

Kostia Chardonnet , Renaud Vilmart , Benoit Valiron

Communication dans un congrès 25/06/2021

Towards a Curry-Howard Correspondence for Linear, Reversible Computation

Kostia Chardonnet , Alexis Saurin , Benoit Valiron

Communication dans un congrès 01/01/2021

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

Dongho Lee , Valentin Perrelle , Zhaowei Xu , Benoit Valiron

Article dans une revue 01/01/2021

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 01/01/2021

Reducing the depth of linear reversible quantum circuits

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

Communication dans un congrès 25/08/2020

On the Semantics of Polychronous Polytimed Specifications

Hai Nguyen Van , Thibaut Balabonski , Chantal Keller , Burkhart Wolff , Frederic Boulanger , Benoit Valiron

Communication dans un congrès 09/07/2020

Toward a Curry-Howard Equivalence for Linear, Reversible Computation

Kostia Chardonnet , Alexis Saurin , Benoit Valiron