TY  - RPRT
TI  - Computational Interpretations of Markov's principle
AU  - Matteo Manighetti
PY  - 2016
UR  - https://arxiv.org/abs/1611.03714
ID  - 1611.03714
ER  -