Statements (63)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
formal semantics |
| gptkbp:application |
computer science
foundations of mathematics |
| gptkbp:developedBy |
gptkb:Haskell_Curry
gptkb:Moses_Schönfinkel |
| gptkbp:field |
gptkb:lambda_calculus
gptkb:logic theoretical computer science |
| gptkbp:hasConcept |
gptkb:mobile_application
gptkb:Church-Rosser_theorem model theory undecidability recursion beta reduction confluence normal form reduction decidability basis fixed-point combinator substitution expressiveness semantic structure syntactic structure functional abstraction extensionality combinator abstraction elimination applicative structure combinatory algebra combinatory algebraic structure combinatory completeness combinatory completeness theorem combinatory expression combinatory logic computational theory combinatory logic model combinatory logic proof theory combinatory logic recursion theory combinatory logic semantics combinatory logic syntax combinatory logic type theory combinatory proof combinatory reduction system combinatory term equational reasoning eta reduction representation theorem variable-free notation |
| https://www.w3.org/2000/01/rdf-schema#label |
Combinatory logic
|
| gptkbp:influenced |
gptkb:logic
proof theory functional programming languages |
| gptkbp:introducedIn |
1920
|
| gptkbp:notableCombinators |
gptkb:I_combinator
gptkb:K_combinator gptkb:S_combinator |
| gptkbp:purpose |
eliminate the need for variables in mathematical logic
|
| gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:SKI_combinator_calculus functional programming |
| gptkbp:bfsParent |
gptkb:Categorial_Grammar
|
| gptkbp:bfsLayer |
6
|