| |
| 2009 | ||
|---|---|---|
| 7 | EE | Pablo Arrighi, Alejandro Díaz-Caro: Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic CoRR abs/0903.3741: (2009) |
| 2008 | ||
| 6 | Pablo Arrighi, Vincent Nesme: Quantization of cellular automata. JAC 2008: 204-215 | |
| 5 | EE | Pablo Arrighi, Vincent Nesme, Reinhard Werner: One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. LATA 2008: 64-75 |
| 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 | Alejandro Díaz-Caro | [7] |
| 2 | Gilles Dowek | [2] [4] |
| 3 | Vincent Nesme | [5] [6] |
| 4 | Reinhard Werner | [5] |