Travelled to:1 × Hungary
1 × Poland
2 × Japan
3 × USA
Collaborated with:B.Valiron ∅ M.Pagani A.S.Green P.L.Lumsdaine N.J.Ross
Talks about:quantum (4) comput (3) calculus (2) program (2) languag (2) control (2) semant (2) linear (2) order (2) model (2)
Person: Peter Selinger
DBLP: Selinger:Peter
Contributed to:
2014
2013
2008
2005
20042001
1996Wrote 7 papers:
- 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.
- FLOPS-2004-Selinger #overview #programming language #quantum
- A Brief Survey of Quantum Programming Languages (PS), pp. 1–6.
- TLCA-2001-Selinger #category theory #semantics
- Categorical Semantics of Control (PS), pp. 6–7.
- LICS-1996-Selinger #finite #modelling
- Order-Incompleteness and Finite λ Models (PS), pp. 432–439.