Combinatory Logic
- Fixed point combinator
- SKI combinator calculus
- B,C,K,W system
- SECD machine
- Graph reduction machine
Read more about this topic: List Of Functional Programming Topics
Famous quotes containing the word logic:
“The logic of the world is prior to all truth and falsehood.”
—Ludwig Wittgenstein (18891951)