Get the latest tech news
SKI Combinator Calculus
The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language, though it is not convenient for writing software.
Informally, and using programming language jargon, a tree ( xy) can be thought of as a function x applied to an argument y. α will have to employ some kind of conditional to stop at some "base case" and not make the recursive call then, to avoid divergence. F= SKSK xy= K y(xy)= y Once true and false are defined, all Boolean logic can be implemented in terms of if-then-else structures.
Or read this on Hacker News