@Inproceedings{EPTCS26.14,
  author    = {Valiron, Beno\^it},
  year      = {2010},
  title     = {Semantics of a Typed Algebraic Lambda-Calculus},
  editor    = {Cooper, S. Barry and Panangaden, Prakash and Kashefi, Elham},
  booktitle = {{\rm Proceedings Sixth Workshop on}
               Developments in Computational Models: Causality, Computation, and Physics,
               {\rm Edinburgh, Scotland, 9-10th July 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {26},
  publisher = {Open Publishing Association},
  pages     = {147-158},
  doi       = {10.4204/EPTCS.26.14},
}