Richard Zach

Church’s Thesis and Functional Programming

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

Posted

in

by

Richard Zach

Tags:

Comments

Leave a Reply

Your email address will not be published. Required fields are marked *