@misc{indiciae815717664150,
  title = {Lineal: A linear-algebraic Lambda-calculus},
  author = {Pablo Arrighi and Gilles Dowek},
  year = {2017},
  doi = {10.23638/lmcs-13(1:8)2017},
  url = {https://arxiv.org/abs/quant-ph/0612199},
  note = {Source identifier: quant-ph/0612199}
}