SKI combinator calculus
Sign in to savetechnique used in functional programming
In the Vinony graph
Vinony's link graph records 17 inbound references to SKI combinator calculus, and connects out to fixed-point combinator, propositional calculus and International Standard Book Number.
It is catalogued under topics including Combinatory logic and Lambda calculus.
Vinony links it to 5 Wikipedia language editions.
Wikidata facts
- Instance of
- model of computation
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0
Connections
fixed-point combinator
Entity
propositional calculus
Entity
International Standard Book Number
Entity
algorithm
Entity
digital object identifier
Entity
Boolean algebra
Entity
OCLC, Inc.
Entity
Haskell
Entity
JSTOR
Organization
recursion
Entity
functional programming
Entity
lambda calculus
Entity
order of operations
Entity
binary tree
Entity
principle of excluded middle
Entity
Semantic Scholar
Entity
Raymond Smullyan
Entity
Turing completeness
Entity
modus ponens
Entity
classical logic
Entity