Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Artificial_Intelligence
|
| gptkbp:can_be_combined_with |
other combinators
|
| gptkbp:can_be_used_to |
implement currying
|
| gptkbp:has_applications_in |
theoretical computer science
|
| gptkbp:has_type |
(a -> b -> a) -> a -> b -> a
|
| https://www.w3.org/2000/01/rdf-schema#label |
K combinator
|
| gptkbp:is_defined_by |
a function that takes two arguments and returns the first one
|
| gptkbp:is_part_of |
lambda calculus
|
| gptkbp:is_related_to |
S combinator
|
| gptkbp:is_used_in |
functional programming
|
| gptkbp:named_after |
K combinator from combinatory logic
|
| gptkbp:bfsParent |
gptkb:Curry's_combinators
|
| gptkbp:bfsLayer |
7
|