Curry encoding
E143341
UNEXPLORED
Curry encoding is a technique in lambda calculus for representing data structures and algebraic types purely as higher-order functions.
Aliases (1)
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
lambda calculus
→
|
hasEncoding |
|
Alonzo Church
("Church encoding")
→
|
notableWork |