Benoît Valiron
Author
Alternate names B. Valiron, Benoit Valiron, Benoît Valiron, Benoî t Valiron
Institution CentraleSupélec
Past institutions CentraleSupélec, Université Paris-Saclay, Centre National de la Recherche Scientifique, Laboratoire Méthodes Formelles, Université Paris-Sud +5 more
ORCID: Yes
H-index: 17
I10-index: 28
Works count: 112
Citations count: 1,921
Quantum computations without definite causal structure
2013 · Giulio Chiribella, Giacomo Mauro D’Ariano, et al. · Physical Review A
Quipper
2013 · Alexander S. Green, Peter LeFanu Lumsdaine, et al.
A lambda calculus for quantum computation with classical control
2006 · Peter Selinger, Benoît Valiron · Mathematical Structures in Computer Science