lambda-calculus Definition Church Encoding Church encodings are a way to represent data structures as functions that act on other functions.