| |
| 2008 | ||
|---|---|---|
| 6 | EE | Peter Selinger, Benoît Valiron: A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). FoSSaCS 2008: 81-96 |
| 5 | EE | Peter Selinger, Benoît Valiron: A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract) CoRR abs/0801.0813: (2008) |
| 4 | EE | Peter Selinger, Benoît Valiron: On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 210: 123-137 (2008) |
| 2006 | ||
| 3 | EE | Peter Selinger, Benoît Valiron: A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science 16(3): 527-552 (2006) |
| 2005 | ||
| 2 | EE | Peter Selinger, Benoît Valiron: A Lambda Calculus for Quantum Computation with Classical Control. TLCA 2005: 354-368 |
| 2004 | ||
| 1 | EE | Benoît Valiron: Quantum typing CoRR cs.LO/0404056: (2004) |
| 1 | Peter Selinger | [2] [3] [4] [5] [6] |