TY  - JOUR
AU  - Jaap van Oosten
AU  - Tingxiang Zou
TI  - Classical and relative realizability
JO  - Theory and applications of categories
PY  - 2016
SP  - 571
EP  - 593
VL  - 31
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2016_31_a21/
LA  - en
ID  - TAC_2016_31_a21
ER  -