Statements (63)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:formal_semantics
gptkb:logic |
| gptkbp:application |
computer science
foundations of mathematics |
| gptkbp:developedBy |
gptkb:Haskell_Curry
gptkb:Moses_Schönfinkel |
| gptkbp:field |
gptkb:theoretical_computer_science
gptkb:lambda_calculus gptkb:logic |
| gptkbp:hasConcept |
gptkb:mobile_application
gptkb:model_theory gptkb:confluence gptkb:reduction gptkb:Church-Rosser_theorem gptkb:combinator gptkb:recursion undecidability beta reduction normal form decidability basis fixed-point combinator substitution expressiveness semantic structure syntactic structure functional abstraction extensionality 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 |
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Combinatory logic
|