id: 05064408
dt: a
an: 05064408
au: Turner, David
ti: Church’s thesis and functional programming.
so: Olszewski, Adam (ed.) et al., Church’s thesis after 70 years. Frankfurt:
    Ontos Verlag (ISBN 3-938793-09-0/hbk). Ontos Mathematical Logic 1,
    518-544 (2006).
py: 2006
pu: Frankfurt: Ontos Verlag
la: EN
cc: 
ut: functional programming; Church-Turing thesis
ci: 
li: 
ab: The paper presents the impact of $λ$-calculus and of other computation
    models derived from it on the development of computation theory and of
    computer science in general.
rv: Marius Zimand (Towson)