@Inproceedings{EPTCS22.5, author = {Fern\'andez, Maribel and Siafakas, Nikolaos}, year = {2010}, title = {Labelled Lambda-calculi with Explicit Copy and Erase}, editor = {Florido, M\'ario and Mackie, Ian}, booktitle = {{\rm Proceedings First International Workshop on} Linearity, {\rm Coimbra, Portugal, 12th September 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {22}, publisher = {Open Publishing Association}, pages = {49-64}, doi = {10.4204/EPTCS.22.5}, }