TY  - RPRT
TI  - Lineal: A linear-algebraic Lambda-calculus
AU  - Pablo Arrighi
AU  - Gilles Dowek
PY  - 2017
DO  - 10.23638/lmcs-13(1:8)2017
UR  - https://arxiv.org/abs/quant-ph/0612199
ID  - quant-ph/0612199
ER  -