Category:Combinatory logic

From HandWiki

Jump to: navigation, search

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

► Applicative computing systems‎ (5 P)

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)

Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Combinatory_logic&oldid=3095493"