Skip to content

Richard Zach

CV
Teaching
Research
Contact

2007-04-20 rzach

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].

Share this:

Click to share on Mastodon (Opens in new window)
Click to share on Facebook (Opens in new window)
Click to share on Reddit (Opens in new window)
Click to share on Pocket (Opens in new window)
Click to share on Twitter (Opens in new window)
Click to email a link to a friend (Opens in new window)
Click to print (Opens in new window)

Posted in UncategorizedLeave a comment

Post navigation

Previous PostAdvice for (not just) mathematicians Next PostWomen in (Philosophical) Logic

Leave a Reply Cancel reply

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

Comment *

Name *

Email *

Website

Save my name, email, and website in this browser for the next time I comment.

Δ

Search for:

Recent Posts

MUltseq 2.0
W. W. Tait, 1929–2024
Converting LaTeX to HTML: technical notes
forall x now in HTML for extra accessibility
Sheffer stroke before Sheffer: Edward Stamm

Recent Comments

Randall Holmes on Famous logicians and their inconsistent theories
Valeria de Paiva on W. W. Tait, 1929–2024
Bill Tait (1929-2024) | Carnap Blog on W. W. Tait, 1929–2024
William W. Tait (1929–2024) - Daily Nous on W. W. Tait, 1929–2024
Kent Peacock on Sheffer stroke before Sheffer: Edward Stamm

Archives

Categories

Progress
Publications
Uncategorized

Meta

Log in
Entries feed
Comments feed
WordPress.org

@rrrichardzach@mathstodon.xyz

Proudly powered by WordPress — Theme: Sequential by WordPress.com.