- Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus. (Wiktionary)
Sorry, no example sentences found.
These user-created lists contain the word ‘lambda calculus’.
Stuff that comes up all the time at work.
Looking for tweets for lambda calculus.