TY  - RPRT
TI  - A Syntactic Model of Mutation and Aliasing
AU  - Paola Giannini
AU  - Marco Servetto
AU  - Elena Zucca
PY  - 2019
DO  - 10.4204/eptcs.293.4
UR  - https://arxiv.org/abs/1904.10107
ID  - 1904.10107
ER  -