combinatory logic
Sign in to savelogical formalism using combinators instead of variables
Wikidata facts
Show 1 more fact
- Stack Exchange tag
- cstheory.stackexchange.com/tags/combinatory-logic
Sources (3)
via Wikidata · CC0
Connections
functional programming
Entity
Elsevier
Entity
first-order logic
Entity
free and bound variables
Entity
Belgium
Country
YouTube
Concept
computer science
Entity
International Standard Book Number
Entity
digital object identifier
Entity
mathematical logic
Entity
Princeton University
Entity
Turing machine
Entity
OCLC, Inc.
Entity
subset
Entity
associativity
Entity
recursion
Entity
JSTOR
Organization
Oxford University Press
Entity
Willard Van Orman Quine
Entity
Alonzo Church
Entity