Church encoding
Sign in to saverepresentation of the natural numbers as higher-order functions
Connections
lambda calculus
Entity
semantic theory of truth
Entity
mathematical logic
Entity
function composition
Entity
first-order logic
Entity
formal system
Entity
list
Entity
recursive set
Entity
semantics of logic
Entity
structure
Entity
ground expression
Entity
diagram
Entity
mathematics
Entity
logic
Entity
Alan Turing
Entity
arithmetic
Entity
International Standard Book Number
Entity
natural number
Entity
integer
Entity
addition
Entity