Statements (22)
Predicate | Object |
---|---|
gptkbp:instanceOf |
combinator
|
gptkbp:alsoKnownAs |
identity combinator
|
gptkbp:arity |
1
|
gptkbp:category |
gptkb:logic
functional programming |
gptkbp:firstDescribed |
gptkb:Moses_Schönfinkel
1920 |
https://www.w3.org/2000/01/rdf-schema#label |
I combinator
|
gptkbp:lambdaExpression |
λx.x
|
gptkbp:minimalBasis |
can be constructed from S and K
|
gptkbp:notation |
I x = x
|
gptkbp:property |
I x = x
|
gptkbp:relatedTo |
gptkb:K_combinator
gptkb:S_combinator |
gptkbp:result |
its argument
|
gptkbp:role |
identity function
|
gptkbp:symbol |
I
|
gptkbp:usedIn |
gptkb:lambda_calculus
combinatory logic |
gptkbp:bfsParent |
gptkb:SKI_combinator_calculus
gptkb:Combinatory_logic |
gptkbp:bfsLayer |
7
|