Scott encoding
E143340
UNEXPLORED
Scott encoding is a method in lambda calculus for representing algebraic data types and their pattern matching behavior using higher-order functions.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.