TY  - RPRT
TI  - Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
AU  - Federico Aschieri
AU  - Stefano Berardi
PY  - 2010
DO  - 10.2168/lmcs-6(3:19)2010
UR  - https://arxiv.org/abs/1007.1785
ID  - 1007.1785
ER  -