Jump to content

Category:Combinatory logic

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by CBM (talk | contribs) at 15:06, 30 May 2007 (create). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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. This list may not reflect recent changes.

A

Applicative computing systems

B

C

F

Fixed-point combinator

I

Iota and Jot

S

SKI combinator calculus

T

To Mock a Mockingbird

Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Category:Combinatory_logic&oldid=134576442"