TY  - RPRT
TI  - A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-
AU  - Nachum Dershowitz
AU  - Evgenia Falkovich
PY  - 2012
DO  - 10.4204/eptcs.88.6
UR  - https://arxiv.org/abs/1207.7148
ID  - 1207.7148
ER  -