TY  - RPRT
TI  - Linear-algebraic lambda-calculus
AU  - Pablo Arrighi
AU  - Gilles Dowek
PY  - 2005
UR  - https://arxiv.org/abs/quant-ph/0501150
ID  - quant-ph/0501150
ER  -