@Inproceedings{EPTCS41.4, author = {Dal Lago, Ugo and Martini, Simone and Sangiorgi, Davide}, year = {2010}, title = {Light Logics and Higher-Order Processes}, editor = {Fr\"oschle, Sibylle and Valencia, Frank D.}, booktitle = {{\rm Proceedings 17th International Workshop on} Expressiveness in Concurrency , {\rm Paris, France, August 30th, 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {41}, publisher = {Open Publishing Association}, pages = {46-60}, doi = {10.4204/EPTCS.41.4}, }