English edit

English Wikipedia has an article on:

Etymology edit

Named after Alonzo Church.

Noun edit

Church encoding (countable and uncountable, plural Church encodings)

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

Related terms edit