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:
“We want in every man a long logic; we cannot pardon the absence of it, but it must not be spoken. Logic is the procession or proportionate unfolding of the intuition; but its virtue is as silent method; the moment it would appear as propositions and have a separate value, it is worthless.”
—Ralph Waldo Emerson (1803–1882)