Category:Combinatory logic

The main article for this category is Combinatory logic.

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

Uses material from the Wikipedia article Category:Combinatory logic, released under the CC BY-SA 4.0 license.