Category:Combinatory logic

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

Subcategories

This category has only the following subcategory.