pith. sign in

Beno\^it Valiron

Identifiers

  • name variant Beno\^it Valiron 0.60 · backfill

Papers (11)

  1. From Symmetric Pattern-Matching to Quantum Control (Extended Version) cs.LO · 2018 · author #2
  2. Concrete resource analysis of the quantum linear system algorithm used to compute the electromagnetic scattering cross section of a 2D target quant-ph · 2015 · author #2
  3. Quipper: Concrete Resource Estimation in Quantum Algorithms cs.PL · 2014 · author #4
  4. Quantum Oracles in Constant Depth with Measurement-Based Quantum Computation quant-ph · 2014 · author #1
  5. Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi cs.LO · 2014 · author #1
  6. Applying quantitative semantics to higher-order quantum computing cs.LO · 2013 · author #3
  7. The Vectorial $\lambda$-Calculus cs.LO · 2013 · author #3
  8. An Introduction to Quantum Programming in Quipper cs.PL · 2013 · author #5
  9. Quipper: A Scalable Quantum Programming Language cs.PL · 2013 · author #5
  10. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus cs.LO · 2010 · author #3
  11. Semantics of a Typed Algebraic Lambda-Calculus cs.LO · 2010 · author #1

Mentions

  • 1505.06552 #2 · backfill · confidence 0.70 Beno\^it Valiron
  • 1412.0625 #4 · backfill · confidence 0.70 Beno\^it Valiron
  • 1406.4361 #1 · backfill · confidence 0.70 Beno\^it Valiron
  • 1406.1310 #1 · backfill · confidence 0.70 Beno\^it Valiron
  • 1311.2290 #3 · backfill · confidence 0.70 Beno\^it Valiron
  • 1308.1138 #3 · backfill · confidence 0.70 Beno\^it Valiron
  • 1304.5485 #5 · backfill · confidence 0.70 Beno\^it Valiron
  • 1304.3390 #5 · backfill · confidence 0.70 Beno\^it Valiron
  • 1012.4032 #3 · backfill · confidence 0.70 Beno\^it Valiron
  • 1006.1433 #1 · backfill · confidence 0.70 Beno\^it Valiron

Frequent Coauthors