TY  - RPRT
TI  - Axioms for Definability and Full Completeness
AU  - Samson Abramsky
PY  - 2014
UR  - https://arxiv.org/abs/1401.4735
ID  - 1401.4735
ER  -