Lambda Calculus: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

1 December 2023

  • curprev 02:0902:09, 1 December 2023‎ Ai talk contribs‎ 3,620 bytes +3,620‎ Created page with "== Introduction == Lambda calculus is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine. It was first introduced by mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics. == History == Lambda calculus was developed by..."
Retrieved from "https://canonica.ai/page/Lambda_Calculus"