Skip to main content

Church's Thesis and Functional Programming

Turner, David A. (2006) Church's Thesis and Functional Programming. In: Olszewski, Adam and Woleński, Jan and Janusz, Robert, eds. Church's Thesis After 70 Years. ontos mathematical logic . Ontos Verlag, Berlin, pp. 518-544. ISBN 3-938793-09-0. (doi:10.1515/9783110325461) (KAR id:88944)

Other (updated pdf) Updated Version
Language: English
Download (312kB) Preview
[thumbnail of updated pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL
https://doi.org/10.1515/9783110325461

Abstract

David Turner's contribution to a volume published on the 70th anniversary of Church's Thesis.

ERRATUM: In the published version (Ontos Verlag 2006) Wadsworth's 1976 result on Solvability and head normal form (p6 bottom) was incorrectly attributed to Böhm - this has now been corrected.

Item Type: Book section
DOI/Identification number: 10.1515/9783110325461
Subjects: B Philosophy. Psychology. Religion > BC Logic
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: David Turner
Date Deposited: 30 Jun 2021 20:41 UTC
Last Modified: 16 Nov 2021 10:27 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/88944 (The current URI for this page, for reference purposes)
  • Depositors only (login required):