TY  - RPRT
TI  - On the Uniform Computational Content of Ramsey's Theorem
AU  - Vasco Brattka
AU  - Tahina Rakotoniaina
PY  - 2017
DO  - 10.1017/jsl.2017.43
UR  - https://arxiv.org/abs/1508.00471
ID  - 1508.00471
ER  -