Valiron, Benoit

1. Generating reversible circuits from higher-order functional programs
   2016/03/27 by Benoît Valiron, Valiron, Benoit · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum-Dot Cellular Automata
2. The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects
   2016/10/30 by Lago, Ugo Dal, Faggian, Claudia, Valiron, Benoit +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)