@Inproceedings{EPTCS238.5, author = {Guerrini, Stefano}, year = {2017}, title = {Linear $\beta$-reduction}, editor = {Cervesato, Iliano and Fern\'andez, Maribel}, booktitle = {{\rm Proceedings Fourth International Workshop on} Linearity, {\rm Porto, Portugal, 25 June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {238}, publisher = {Open Publishing Association}, pages = {44-53}, doi = {10.4204/EPTCS.238.5}, }