A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus by Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

Get full text

Reducing the Depth of Linear Reversible Quantum Circuits by Timothee Goubault de Brugiere, Marc Baboulin, Benoit Valiron, Simon Martiel, Cyril Allouche

Get full text

Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing by 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

Get full text