@misc{indiciae67cc66251eee,
  title = {A concrete model for a typed linear algebraic lambda calculus},
  author = {Alejandro Díaz-Caro and Octavio Malherbe},
  year = {2023},
  doi = {10.1017/s0960129523000361},
  url = {https://arxiv.org/abs/1806.09236},
  note = {Source identifier: 1806.09236}
}