Benoit Valiron

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

Frequent Coauthors

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