The Church-Turing thesis over arbitrary domains (0)

by Udi Boker, Nachum Dershowitz
Venue:In Arnon Avron, Nachum