3 ms·
Well before. The original paper[1] introducing the lambda calculus was in the 1930s, but it wasn't called "lambda calculus" until a bit later. [1] https://raw
by seanhunter 2y ago
Well before. The original paper[1] introducing the lambda calculus was in the 1930s, but it wasn't called "lambda calculus" until a bit later.
[1] https://raw.githubusercontent.com/emintham/Papers/master/Church-%20A%20Set%20of%20Postulates%20for%20the%20Foundation%20of%20Logic.pdf https://raw.githubusercontent.com/emintham/Papers/master/Chu...
- agumonkey 2y agoYeah indeed no trace of the term 'lambda'. But this https://www.classes.cs.uchicago.edu/archive/2007/spring/32001-1/papers/church-1940.pdf https://www.classes.cs.uchicago.edu/archive/2007/spring/3200... mentions "THE CALCULI OF LAMBDA-CONVERSION" linked here https://compcalc.github.io/public/church/church_calculi_1941.pdf#page=9 https://compcalc.github.io/public/church/church_calculi_1941...