lambda calculus Published on: 8月 1, 2024 Tags: computer science computation theory This a beamer introducing basic $\lambda$ calculus.