Church encoding (English, noun)
expansion: Church encoding (countable and uncountable, plural Church encodings)
Senses:
topics: mathematics
sciences
glosses: A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
tags: countable
uncountable
Forms:
form: Church encodings
tags: plural