@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},
}