Benoit Valiron

Identifiers

• name variant Benoit Valiron 0.60 · backfill

Papers (4)

1. The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects cs.LO · 2016 · author #3
2. Generating reversible circuits from higher-order functional programs cs.LO · 2016 · author #1
3. Parallelism and Synchronization in an Infinitary Context (Long Version) cs.LO · 2015 · author #3
4. A lambda calculus for quantum computation with classical control cs.LO · 2004 · author #2

Mentions

• 1505.03635 #3 · backfill · confidence 0.70 Benoit Valiron

Frequent Coauthors

• Akira Yoshimizu 2 shared papers
• Claudia Faggian 2 shared papers
• Ugo Dal Lago 2 shared papers
• Peter Selinger 1 shared papers