TY  - RPRT
TI  - Differences of halting probabilities
AU  - George Barmpalias
AU  - Andrew Lewis-Pye
PY  - 2017
UR  - https://arxiv.org/abs/1604.00216
ID  - 1604.00216
ER  -