HomeServicesBlogDictionariesContactSpanish Course
← Back to search

Meaning of Church encoding | Babel Free

Noun CEFR B2

Definitions

A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.

countable, uncountable

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Learn this word in context

See Church encoding used in real conversations inside our free language course.

Start Free Course