TY  - RPRT
TI  - A variable-free dynamic semantics
AU  - Chung-chieh Shan
PY  - 2002
UR  - https://arxiv.org/abs/cs/0205027
ID  - cs/0205027
ER  -