Category:Combinatory logic

{{Cat main}}

Combinatory logic is a logical calculus used in mathematical logic and theoretical computer science.

Category:Models of computation

Category:Computability theory

Category:Logic in computer science

Category:Functional programming

Category:Logical calculi