BRZEN
Church encoding
Texto da Wikipédia (en), licença CC BY-SA. O BETARUBI mostra o verbete inteiro nesta página — a leitura não continua fora do site.
In mathematics, Church encoding is a way of representing various types of data in the lambda calculus.