+Lambda Calculus is a universal model of [Computation](/wiki/computation) based on function abstraction and application. It is a foundational system in [Logic](/wiki/logic) and computer science, capable of expressing any algorithm.
+## See also
+- [Turing Machine](/wiki/turing_machine)
+- [Functional Programming](/wiki/functional_programming)
+- [Algorithm](/wiki/algorithm)
... 1 more lines