TY  - RPRT
TI  - Probabilistic Computability and Choice
AU  - Vasco Brattka
AU  - Guido Gherardi
AU  - Rupert Hölzl
PY  - 2015
DO  - 10.1016/j.ic.2015.03.005
UR  - https://arxiv.org/abs/1312.7305
ID  - 1312.7305
ER  -