Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
SKI combinator calculus
|
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 |
theoretical computer science
functional programming |
gptkbp:bfsParent |
gptkb:untyped_lambda_calculus
|
gptkbp:bfsLayer |
6
|