| * | 2009 |
|---|
| 8 | 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) |
| 7 | EE | Pablo Arrighi,
Renan Fargetton,
Zizhu Wang:
Intrinsically Universal One-dimensional Quantum Cellular Automata in Two Flavours.
Fundam. Inform. 91(2): 197-230 (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) |
