@Inproceedings{EPTCS293.4, author = {Giannini, Paola and Servetto, Marco and Zucca, Elena}, year = {2019}, title = {A Syntactic Model of Mutation and Aliasing}, editor = {Pagani, Michele and Alves, Sandra}, booktitle = {{\rm Proceedings Twelfth Workshop on} Developments in Computational Models {\rm and Ninth Workshop on} Intersection Types and Related Systems, {\rm Oxford, UK, 8th July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {293}, publisher = {Open Publishing Association}, pages = {39-55}, doi = {10.4204/EPTCS.293.4}, }