Lambda Calculus
- Currying
- Lambda abstraction
- Church-Rosser theorem
- Extensionality
- Church numeral
Read more about this topic: List Of Functional Programming Topics
Famous quotes containing the word calculus:
“I try to make a rough music, a dance of the mind, a calculus of the emotions, a driving beat of praise out of the pain and mystery that surround me and become me. My poems are meant to make your mind get up and shout.”
—Judith Johnson Sherwin (b. 1936)