A natural axiomatization of computability and proof of Church’s Thesis. (2008)

by N Dershowitz, Y Gurevich
Venue:Bulletin of Symbolic Logic