Church encoding
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Named after Alonzo Church.
Noun[edit]
Church encoding (countable and uncountable, plural Church encodings)
- (mathematics) A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.