Benoît Valiron

Available identifiers

zbMath Open valiron.benoitMaRDI QIDQ468583

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6187071	2024-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q6168444	2023-08-08	Paper
Strong simulation of linear optical processes	2023-08-07	Paper
Quantum circuits synthesis using Householder transformations	2023-04-25	Paper
Hybrid quantum-classical circuit simplification with the ZX-calculus	2023-03-29	Paper
On new PageRank computation methods using quantum computing	2023-03-24	Paper
Semantics of quantum programming languages: Classical control, quantum control	2022-08-26	Paper
An automated deductive verification framework for circuit-building quantum programs	2021-10-18	Paper
Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress	2021-07-05	Paper
Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem	2021-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4986659	2021-04-27	Paper
On the semantics of polychronous polytimed specifications	2021-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q5151026	2021-02-16	Paper
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces	2019-02-08	Paper
From symmetric pattern-matching to quantum control	2018-07-17	Paper
Parallelism and Synchronization in an Infinitary Context	2018-04-23	Paper
A symbolic operational semantics for TESL -- with an application to heterogeneous system testing	2017-12-01	Paper
Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target	2017-10-23	Paper
The geometry of parallelism: classical, probabilistic, and quantum effects	2017-10-20	Paper
The vectorial \(\lambda\)-calculus	2017-05-18	Paper
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract)	2016-10-07	Paper
Generating Reversible Circuits from Higher-Order Functional Programs	2016-08-10	Paper
Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus	2015-01-15	Paper
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi	2015-01-13	Paper
Quantum computation: a tutorial	2014-11-07	Paper
Quantum computation: from a programmer's perspective	2014-11-07	Paper
Applying quantitative semantics to higher-order quantum computing	2014-04-10	Paper
On a Fully Abstract Model for a Quantum Linear Functional Language	2014-01-17	Paper
An Introduction to Quantum Programming in Quipper	2013-12-17	Paper
A typed, algebraic, computational lambda-calculus	2013-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q3560839	2010-05-14	Paper
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)	2008-04-11	Paper
A lambda calculus for quantum computation with classical control	2006-08-28	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Benoît Valiron