Ignore this box please.
More
Settings
Goodies
About
Help
Feedback
PRIVACY
DontTrack
DontBubble
Policy
COMMUNITY
Platform
Forum
Chat
Spread
Search syntax
s:d sort by date
r:uk uk region
site: domain search
\ search first result
More...
r:n turn off region
!a search search amazon
site:uk uk pages
f: find files
t: within title
b: within body
More explanation...
Combinatory logic
Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic.
More at Wikipedia
SKI combinator calculus
B,C,K,W system
More related topics
Fixed point combinator
graph reduction machine
supercombinator
Lambda calculus
Lambda calculus
Logic in computer science
This page requires Javascript.Get the non-JS version
here
.