TY  - RPRT
TI  - Realizability Categories
AU  - Wouter Pieter Stekelenburg
PY  - 2013
UR  - https://arxiv.org/abs/1301.2134
ID  - 1301.2134
ER  -