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.
A
Pages in category "Combinatory logic"
The following 9 pages are in this category, out of 9 total. This list may not reflect recent changes.