Category:Combinatory logic

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