TY  - RPRT
TI  - Realizability with a Local Operator of A.M. Pitts
AU  - Jaap van Oosten
PY  - 2013
UR  - https://arxiv.org/abs/1301.0735
ID  - 1301.0735
ER  -