#+title: λ-calculus
#+roam_alias: "lambda calculus"
- tags :: [[file:20210407163538-mathematics.org][mathematics]] [[file:20210407163715-computer_science.org][computer science]]

Lambda calculus is the mathematical foundation for computing.