# λ-calculus

tags
: [[mathematics]] [[computer science]]

Lambda calculus is the mathematical foundation for computing.