TY  - RPRT
TI  - A concrete model for a typed linear algebraic lambda calculus
AU  - Alejandro Díaz-Caro
AU  - Octavio Malherbe
PY  - 2023
DO  - 10.1017/s0960129523000361
UR  - https://arxiv.org/abs/1806.09236
ID  - 1806.09236
ER  -