Talk:Lambda Calculus

Introduction
I fleshed out the introduction a little and changed some things. I perhaps rather overcautiously removed the reference to application and abstraction as axioms simply because it is more usual to refer to alpha substitution and beta reduction as the most basic axioms of the calculus - is this agreeable? I will continue slowly - next the syntax. Jimbotyson (talk) —Preceding undated comment added 10:11, 3 June 2010‎.

Alonzo Church
Just a quick note - Lambda calculus was developed by Alonzo Church, not Lorenzo Church. —Preceding unsigned comment added by 118.209.128.221 (discuss • contribs) 19:14, 13 November 2010‎

Had a lot of mistakes
I rewrote everything just because it had a lot of mistakes. I have no time to go further. Please base this book in computation theory texts no in programming languages blogs written by laymen who just have a vague idea of what is this about. Compare what I wrote with formal sources. — Preceding unsigned comment added by 2806:106e:b:31b1:3a5f:db9e:42bd:b4bd (talk • contribs) 12:00, 14 August 2022 (UTC)