Concept
Church encoding
Overview
representation of the natural numbers as higher-order functions
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Tuple
- Integer
- Truth value
- Lambda calculus
- Mathematics
- Natural number
- Alonzo Church
- Church–Turing thesis
- MIT Press
- Data type
- Entscheidungsproblem
- Extensionality
Place in the tradition
Part of Type theory.