TY  - RPRT
TI  - Bar recursion in classical realisability : dependent choice and continuum hypothesis
AU  - Jean-Louis Krivine
PY  - 2016
DO  - 10.4230/lipics.csl.2016.25
UR  - https://arxiv.org/abs/1502.00112
ID  - 1502.00112
ER  -