with Lepage, F. , 2012, 'Cleland on Church's thesis and the limits of computation', Philosophia Scientiae 16 (3), 69-85.