TY  - RPRT
TI  - A Report on Realizability
AU  - Walter Ferrer Santos
AU  - Mauricio Guillermo
AU  - Octavio Malherbe
PY  - 2013
UR  - https://arxiv.org/abs/1309.0706
ID  - 1309.0706
ER  -