TY  - RPRT
TI  - Full Abstraction for PCF
AU  - Samson Abramsky
AU  - Radha Jagadeesan
AU  - Pasquale Malacaria
PY  - 2014
UR  - https://arxiv.org/abs/1311.6125
ID  - 1311.6125
ER  -