| 2008 | ||
|---|---|---|
| 4 | EE | Pablo Arrighi, Gilles Dowek: Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. RTA 2008: 17-31 |
| 2006 | ||
| 3 | EE | Pablo Arrighi: Algebraic Characterizations of Unitary Linear Quantum Cellular Automata. MFCS 2006: 122-133 |
| 2005 | ||
| 2 | EE | Pablo Arrighi, Gilles Dowek: A Computational Definition of the Notion of Vectorial Space. Electr. Notes Theor. Comput. Sci. 117: 249-261 (2005) |
| 2003 | ||
| 1 | Pablo Arrighi: Quantum Computation Explained to My Mother. Bulletin of the EATCS 80: 134-142 (2003) | |
| 1 | Gilles Dowek | [2] [4] |