Sekirov Dictionary

Church encoding

noun1

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

forms

Church encodings

This dictionary works without the internet: on your phone · in Chrome