Church encoding

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:describes representation of data and operators in lambda calculus
gptkbp:example gptkb:Church_booleans
gptkb:Church_numerals
Church lists
Church pairs
gptkbp:field gptkb:lambda_calculus
https://www.w3.org/2000/01/rdf-schema#label Church encoding
gptkbp:influenced functional programming languages
theory of computation
gptkbp:introducedIn 1930s
gptkbp:namedAfter gptkb:Alonzo_Church
gptkbp:relatedTo combinatory logic
functional programming
lambda abstraction
data representation
gptkbp:usedFor encoding booleans
encoding lists
encoding natural numbers
encoding pairs
gptkbp:bfsParent gptkb:untyped_lambda_calculus
gptkb:Böhm–Berarducci_encoding
gptkb:Lambda_calculus
gptkbp:bfsLayer 6