Travelled to:1 × Hungary
2 × Japan
2 × USA
Collaborated with:P.Selinger U.D.Lago C.Faggian A.Yoshimizu M.Pagani A.S.Green P.L.Lumsdaine N.J.Ross
Talks about:quantum (4) comput (3) parallel (2) calculus (2) classic (2) linear (2) probabilist (1) infinitari (1) synchron (1) geometri (1)
Person: Benoît Valiron
DBLP: Valiron:Beno=icirc=t
Contributed to:
2015
2014
2013
2008
20052017Wrote 6 papers:
- LICS-2015-LagoFVY #parallel
- Parallelism and Synchronization in an Infinitary Context (UDL, CF, BV, AY), pp. 559–572.
- POPL-2014-PaganiSV #higher-order #quantum #semantics
- Applying quantitative semantics to higher-order quantum computing (MP, PS, BV), pp. 647–658.
- PLDI-2013-GreenLRSV #named #programming language #quantum #scalability
- Quipper: a scalable quantum programming language (ASG, PLL, NJR, PS, BV), pp. 333–342.
- FoSSaCS-2008-SelingerV #call-by #λ-calculus
- A Linear-non-Linear Model for a Computational Call-by-Value λ Calculus (PS, BV), pp. 81–96.
- TLCA-2005-SelingerV #quantum #λ-calculus
- A λ Calculus for Quantum Computation with Classical Control (PS, BV), pp. 354–368.
- POPL-2017-LagoFVY #geometry #parallel #probability #quantum
- The geometry of parallelism: classical, probabilistic, and quantum effects (UDL, CF, BV, AY), pp. 833–845.