@misc{indiciae02641d12b632,
  title = {Semantics of a Typed Algebraic Lambda-Calculus},
  author = {Benoît Valiron},
  year = {2010},
  doi = {10.4204/eptcs.26.14},
  url = {https://arxiv.org/abs/1006.1433},
  note = {Source identifier: 1006.1433}
}