Semantics of a Typed Algebraic Lambda-Calculus

by Benoît Valiron
Published 2010-06-01

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

by Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
Published 2012-07-01

Reducing the Depth of Linear Reversible Quantum Circuits

by Timothee Goubault de Brugiere, Marc Baboulin, Benoit Valiron, Simon Martiel, Cyril Allouche
Published 2021-01-01