tags : [[mathematics]] [[computer science]]
Lambda calculus is the mathematical foundation for computing.