Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
combinator
|
| gptkbp:alsoKnownAs |
gptkb:Kestrel
|
| gptkbp:arity |
2
|
| gptkbp:category |
gptkb:logic
theoretical computer science |
| https://www.w3.org/2000/01/rdf-schema#label |
K combinator
|
| gptkbp:ignores |
second argument
|
| gptkbp:introduced |
gptkb:Moses_Schönfinkel
|
| gptkbp:introducedIn |
1924
|
| gptkbp:lambdaExpression |
λx.λy.x
|
| gptkbp:notation |
K x y = x
|
| gptkbp:relatedTo |
gptkb:I_combinator
gptkb:S_combinator |
| gptkbp:result |
first argument
|
| gptkbp:symbol |
K
|
| gptkbp:usedIn |
gptkb:lambda_calculus
combinatory logic functional programming |
| gptkbp:bfsParent |
gptkb:SKI_combinator_calculus
gptkb:Combinatory_logic |
| gptkbp:bfsLayer |
7
|