Church encoding en · NOUN
Etymology
Named after Alonzo Church.
Meanings
- (countable, uncountable) A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Church encodings | Number=Plur | lexicographic |