Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:combinatory_logic_system
|
| gptkbp:equivalentTo |
gptkb:lambda_calculus
|
| gptkbp:field |
gptkb:logic
computer science |
| gptkbp:hasApplication |
programming language theory
|
| gptkbp:hasCombinator |
gptkb:I_combinator
gptkb:K_combinator gptkb:S_combinator |
| gptkbp:hasProperty |
gptkb:Turing_completeness
|
| gptkbp:hasSubgroup |
combinatory logic
|
| gptkbp:introduced |
gptkb:Haskell_Curry
gptkb:Moses_Schönfinkel |
| gptkbp:introducedIn |
1920
|
| gptkbp:notation |
point-free notation
|
| gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:B_combinator gptkb:C_combinator combinatory logic |
| gptkbp:usedFor |
gptkb:theoretical_computer_science
functional programming |
| gptkbp:bfsParent |
gptkb:untyped_lambda_calculus
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
SKI combinator calculus
|