![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Benoît Valiron
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2008
- [b1]Benoît Valiron:
Semantics for a Higher Order Functional Programming Language for Quantum Computation. University of Ottawa, Ontario, Canada, 2008
Journal Articles
- 2023
- [j15]Nicolas Heurtel
, Shane Mansfield, Jean Senellart
, Benoît Valiron:
Strong simulation of linear optical processes. Comput. Phys. Commun. 291: 108848 (2023) - [j14]Théodore Chapuis-Chkaiban
, Zeno Toffano, Benoît Valiron:
On new PageRank computation methods using quantum computing. Quantum Inf. Process. 22(3): 138 (2023) - [j13]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, Benoît Valiron, Pascale Senellart, Shane Mansfield, Jean Senellart
:
Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing. Quantum 7: 931 (2023) - 2022
- [j12]Benoît Valiron
:
Semantics of quantum programming languages: Classical control, quantum control. J. Log. Algebraic Methods Program. 128: 100790 (2022) - [j11]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron
, Simon Martiel
, Cyril Allouche
:
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures. Sci. Comput. Program. 214: 102726 (2022) - 2020
- [j10]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron
, Cyril Allouche
:
Quantum circuits synthesis using Householder transformations. Comput. Phys. Commun. 248: 107001 (2020) - 2017
- [j9]Pablo Arrighi, Alejandro Díaz-Caro
, Benoît Valiron
:
The vectorial λ-calculus. Inf. Comput. 254: 105-139 (2017) - [j8]Artur Scherer
, Benoît Valiron
, Siun-Chuon Mau, D. Scott Alexander, Eric van den Berg, Thomas E. Chapuran:
Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target. Quantum Inf. Process. 16(3): 60 (2017) - 2015
- [j7]Benoît Valiron
, Neil J. Ross
, Peter Selinger
, D. Scott Alexander, Jonathan M. Smith:
Programming the quantum future. Commun. ACM 58(8): 52-61 (2015) - 2014
- [j6]Ali Assaf, Alejandro Díaz-Caro
, Simon Perdrix, Christine Tasson
, Benoît Valiron
:
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus. Log. Methods Comput. Sci. 10(4) (2014) - [j5]Benoît Valiron, Steve Zdancewic:
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces. Sci. Ann. Comput. Sci. 24(2): 325-368 (2014) - 2013
- [j4]Benoît Valiron
:
A typed, algebraic, computational lambda-calculus. Math. Struct. Comput. Sci. 23(2): 504-554 (2013) - [j3]Benoît Valiron
:
Quantum Computation: From a Programmer's Perspective. New Gener. Comput. 31(1): 1-26 (2013) - 2012
- [j2]Benoît Valiron
:
Quantum Computation: a Tutorial. New Gener. Comput. 30(4): 271-296 (2012) - 2006
- [j1]Peter Selinger
, Benoît Valiron
:
A lambda calculus for quantum computation with classical control. Math. Struct. Comput. Sci. 16(3): 527-552 (2006)
Conference and Workshop Papers
- 2024
- [c31]Kostia Chardonnet, Louis Lemonnier, Benoît Valiron:
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. FSCD 2024: 19:1-19:19 - 2023
- [c30]Kostia Chardonnet, Alexis Saurin, Benoît Valiron:
A Curry-Howard Correspondence for Linear, Reversible Computation. CSL 2023: 13:1-13:18 - [c29]Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron:
A Complete Equational Theory for Quantum Circuits. LICS 2023: 1-13 - 2022
- [c28]Alexandre Clément, Nicolas Heurtel
, Shane Mansfield, Simon Perdrix
, Benoît Valiron:
LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits. MFCS 2022: 35:1-35:16 - [c27]Nicolas Heurtel, Shane Mansfield, Jean Senellart, Benoît Valiron:
Simulation of Linear Optical Interferometers (Extended Abstract). QCE 2022: 577-581 - 2021
- [c26]Agustín Borgna
, Simon Perdrix
, Benoît Valiron
:
Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus. APLAS 2021: 121-139 - [c25]Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
:
An Automated Deductive Verification Framework for Circuit-building Quantum Programs. ESOP 2021: 148-177 - [c24]Dongho Lee, Valentin Perrelle, Benoît Valiron
, Zhaowei Xu:
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. FSTTCS 2021: 51:1-51:20 - [c23]Kostia Chardonnet, Benoît Valiron
, Renaud Vilmart:
Geometry of Interaction for ZX-Diagrams. MFCS 2021: 30:1-30:16 - [c22]Kostia Chardonnet, Louis Lemonnier
, Benoît Valiron
:
Categorical Semantics of Reversible Pattern-Matching. MFPS 2021: 18-33 - 2020
- [c21]Hai Nguyen Van
, Thibaut Balabonski, Frédéric Boulanger
, Chantal Keller
, Benoît Valiron
, Burkhart Wolff:
On the Semantics of Polychronous Polytimed Specifications. FORMATS 2020: 23-40 - [c20]Kostia Chardonnet, Alexis Saurin, Benoît Valiron
:
Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. RC 2020: 144-152 - [c19]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron
, Simon Martiel, Cyril Allouche:
Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem. RC 2020: 189-205 - 2019
- [c18]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron
, Cyril Allouche
:
Synthesizing Quantum Circuits via Numerical Optimization. ICCS (2) 2019: 3-16 - [c17]Alejandro Díaz-Caro
, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron
:
Realizability in the Unitary Sphere. LICS 2019: 1-13 - 2018
- [c16]Amr Sabry
, Benoît Valiron
, Juliana Kaizer Vizzotto:
From Symmetric Pattern-Matching to Quantum Control. FoSSaCS 2018: 348-364 - 2017
- [c15]Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron
, Burkhart Wolff:
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. FORMATS 2017: 318-334 - [c14]Ugo Dal Lago
, Claudia Faggian, Benoît Valiron
, Akira Yoshimizu:
The geometry of parallelism: classical, probabilistic, and quantum effects. POPL 2017: 833-845 - 2016
- [c13]Benoît Valiron
:
Generating Reversible Circuits from Higher-Order Functional Programs. RC 2016: 289-306 - 2015
- [c12]Ugo Dal Lago
, Claudia Faggian, Benoît Valiron
, Akira Yoshimizu:
Parallelism and Synchronization in an Infinitary Context. LICS 2015: 559-572 - [c11]Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye:
Towards a Formal Semantics of the TESL Specification Language. GEMOC+MPM@MoDELS 2015: 14-19 - 2014
- [c10]Benoît Valiron
, Steve Zdancewic:
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. ICTAC 2014: 442-459 - [c9]Michele Pagani, Peter Selinger
, Benoît Valiron
:
Applying quantitative semantics to higher-order quantum computing. POPL 2014: 647-658 - 2013
- [c8]Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross
, Peter Selinger
, Benoît Valiron
:
Quipper: a scalable quantum programming language. PLDI 2013: 333-342 - [c7]Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross
, Peter Selinger
, Benoît Valiron
:
An Introduction to Quantum Programming in Quipper. RC 2013: 110-124 - 2011
- [c6]Pablo Arrighi, Alejandro Díaz-Caro
, Benoît Valiron:
Subject reduction in a Curry-style polymorphic type system with a vectorial structure. DCM 2011: 1-15 - 2010
- [c5]Benoît Valiron:
Semantics of a Typed Algebraic Lambda-Calculus. DCM 2010: 147-158 - 2008
- [c4]Peter Selinger
, Benoît Valiron
:
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). FoSSaCS 2008: 81-96 - [c3]Benoît Valiron
:
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract). QPL/DCM@ICALP 2008: 121-128 - 2006
- [c2]Peter Selinger
, Benoît Valiron
:
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract). QPL 2006: 123-137 - 2005
- [c1]Peter Selinger
, Benoît Valiron
:
A Lambda Calculus for Quantum Computation with Classical Control. TLCA 2005: 354-368
Parts in Books or Collections
- 2023
- [p1]Christophe Chareton, Dongho Lee, Benoît Valiron, Renaud Vilmart, Sébastien Bardin, Zhaowei Xu:
Formal Methods for Quantum Algorithms. Handb. Formal Anal. Verification Cryptogr. 2023: 319-422
Editorship
- 2023
- [e2]Shane Mansfield, Benoît Valiron, Vladimir Zamdzhiev:
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023. EPTCS 384, 2023 [contents] - 2021
- [e1]Benoît Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden:
Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020. EPTCS 340, 2021 [contents]
Informal and Other Publications
- 2023
- [i30]Kostia Chardonnet, Alexis Saurin, Benoît Valiron:
A Curry-Howard Correspondence for Linear, Reversible Computation. CoRR abs/2302.11887 (2023) - [i29]Kostia Chardonnet, Louis Lemonnier, Benoît Valiron:
Semantics for a Turing-complete Reversible Programming Language with Inductive Types. CoRR abs/2309.12151 (2023) - 2022
- [i28]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche:
Reducing the Depth of Linear Reversible Quantum Circuits. CoRR abs/2201.06380 (2022) - [i27]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche:
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures. CoRR abs/2201.06457 (2022) - [i26]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche:
Gaussian Elimination versus Greedy Methods for the Synthesis of Linear Reversible Circuits. CoRR abs/2201.06508 (2022) - [i25]Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron:
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits. CoRR abs/2204.11787 (2022) - [i24]Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart:
The Many-Worlds Calculus: Representing Quantum Control. CoRR abs/2206.10234 (2022) - [i23]Kostia Chardonnet, Benoît Valiron, Renaud Vilmart:
Geometry of Interaction for ZX-Diagrams. CoRR abs/2206.10916 (2022) - 2021
- [i22]Yann Hamdaoui, Benoît Valiron:
An Interactive Proof of Termination for a Concurrent λ-calculus with References and Explicit Substitutions. CoRR abs/2102.05161 (2021) - [i21]Zhaowei Xu, Mingsheng Ying, Benoît Valiron:
Reasoning about Recursive Quantum Programs. CoRR abs/2107.11679 (2021) - [i20]Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu:
Formal Methods for Quantum Programs: A Survey. CoRR abs/2109.06493 (2021) - [i19]Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron:
Addressable quantum gates. CoRR abs/2109.08050 (2021) - [i18]Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu:
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. CoRR abs/2110.02691 (2021) - 2020
- [i17]Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron:
Toward certified quantum programming. CoRR abs/2003.05841 (2020) - [i16]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche:
Quantum circuit synthesis using Householder transformations. CoRR abs/2004.07710 (2020) - [i15]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche:
Synthesizing quantum circuits via numerical optimization. CoRR abs/2004.07714 (2020) - 2019
- [i14]Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron:
Realizability in the Unitary Sphere. CoRR abs/1904.08785 (2019) - 2018
- [i13]Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto:
From Symmetric Pattern-Matching to Quantum Control (Extended Version). CoRR abs/1804.00952 (2018) - [i12]Benoît Valiron:
A Formal Analysis of Quantum Algorithms. ERCIM News 2018(112) (2018) - 2016
- [i11]Benoît Valiron:
Generating reversible circuits from higher-order functional programs. CoRR abs/1603.08213 (2016) - [i10]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects. CoRR abs/1610.09629 (2016) - 2015
- [i9]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
Parallelism and Synchronization in an Infinitary Context (Long Version). CoRR abs/1505.03635 (2015) - 2014
- [i8]Benoît Valiron, Steve Zdancewic:
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. CoRR abs/1406.1310 (2014) - [i7]Jonathan M. Smith, Neil J. Ross, Peter Selinger, Benoît Valiron:
Quipper: Concrete Resource Estimation in Quantum Algorithms. CoRR abs/1412.0625 (2014) - 2013
- [i6]Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron:
Quipper: A Scalable Quantum Programming Language. CoRR abs/1304.3390 (2013) - [i5]Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron:
An Introduction to Quantum Programming in Quipper. CoRR abs/1304.5485 (2013) - [i4]Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
The Vectorial Lambda-Calculus. CoRR abs/1308.1138 (2013) - [i3]Michele Pagani, Peter Selinger, Benoît Valiron:
Applying quantitative semantics to higher-order quantum computing. CoRR abs/1311.2290 (2013) - 2008
- [i2]Peter Selinger, Benoît Valiron:
A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract). CoRR abs/0801.0813 (2008) - 2004
- [i1]Benoît Valiron:
Quantum typing. CoRR cs.LO/0404056 (2004)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-07 00:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint