@Inproceedings{EPTCS101.1, author = {Dominici, Maurizio and Ronchi Della Rocca, Simona and Tranquilli, Paolo}, year = {2012}, title = {Standardization in resource lambda-calculus}, editor = {Alves, Sandra and Mackie, Ian}, booktitle = {{\rm Proceedings 2nd International Workshop on} Linearity, {\rm Tallinn, Estonia, 1 April 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {101}, publisher = {Open Publishing Association}, pages = {1-11}, doi = {10.4204/EPTCS.101.1}, }