Scott encoding

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf character encoding
gptkbp:contrastsWith gptkb:Church_encoding
gptkbp:enables encoding of product types
encoding of sum types
pattern matching in lambda calculus
https://www.w3.org/2000/01/rdf-schema#label Scott encoding
gptkbp:introducedIn 1970s
gptkbp:namedAfter gptkb:Dana_Scott
gptkbp:relatedTo gptkb:Church_encoding
gptkbp:represents data constructors as functions
gptkbp:usedFor representing algebraic data types
gptkbp:usedIn gptkb:lambda_calculus
gptkb:logic
gptkb:Coq
gptkb:Haskell
functional programming
proof assistants
gptkbp:bfsParent gptkb:untyped_lambda_calculus
gptkb:Böhm–Berarducci_encoding
gptkbp:bfsLayer 6