Skip to content
ALB Wiki
Main page · News · Recent changes · All pages · Categories · Random page · Suggestions · Help

History — Lambda calculus

revwhenbysummary
rev 82026-10-20 13:00:48 UTCALB TeamCitations: link numbered reference entries (DOIs, official pages, primary documents)diff · revert
rev 72026-10-20 03:27:00 UTCALB TeamFact-check: fix Church-numeral MULT gloss (operand order)diff · revert
rev 62026-10-16 04:34:06 UTCALB Teama11y: normalize heading depth (##→#) for correct h1→h2 outlinediff · revert
rev 52026-10-13 14:12:50 UTCALB TeamAdd References section (SEO pass 3)diff · revert
rev 42026-10-10 15:25:48 UTCAnonymousSee-also: History of Sciencediff · revert
rev 32026-10-10 15:03:48 UTCAnonymousSee-also: History of Mathematicsdiff · revert
rev 22026-10-10 14:54:20 UTCAnonymousLink Alonzo Church — new biography replaces redirectdiff · revert
rev 12026-10-10 14:41:27 UTCAnonymousNew article — lambda calculus: the story, the three rules, Church encodings, typesrevert