English

edit
 
English Wikipedia has an article on:
Wikipedia

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.
edit