Category:Combinatory logic
![]() | Computing portal |
Here is a list of articles in the Combinatory logic category of the Computing portal that unifies foundations of mathematics and computations using computers. 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.
- Combinatory logic (computing)
A
- Applicative computing systems (computing)
B
- B, C, K, W system (computing)
- Binary combinatory logic (computing)
C
- Combinatory categorial grammar (computing)
F
- Fixed-point combinator (computing)
I
- Iota and Jot (computing)
S
- SKI combinator calculus (computing)
T
- To Mock a Mockingbird (computing)