English Church encoding Cited by user Mathnerd314159 on 14 Mar 2022 In mathematics, Church encoding is a means of representing data and operators in the lambda calculus.