Combinatory logic

:This article is about a topic in mathematical logic and theoretical computer science, and is not to be confused with combinatorial logic, a topic in electronics.

Related Topics:
Combinatorial logic - Electronics

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages.

Related Topics:
Moses Schönfinkel - Haskell Curry - Variable - Mathematical logic

~ ~ ~ ~ ~ ~ ~ ~ ~ ~