TY  - RPRT
TI  - A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators
AU  - Danko Ilik
AU  - Keiko Nakata
PY  - 2014
DO  - 10.4230/lipics.types.2013.188
UR  - https://arxiv.org/abs/1209.2229
ID  - 1209.2229
ER  -