Church’s Thesis and Functional Programming

Submitted by Richard Zach on April 20, 2007 - 10:18am.

Via LtU, David Turner on Church's Thesis, the lambda calculus, and the development of functional programming languages [PDF].