3 ms·
Yeah 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.
by agumonkey 2y ago
Yeah 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...