# Lambda Calculus

- Page: https://shared.btbytes.com/p/lambda-calculus
- Date: 2024-02-05
- Tags: lambda-calculus

[A Tutorial Introduction to the Lambda Calculus](https://arxiv.org/pdf/1503.09060) by Raul Rojas. "This tutorial shows how to perform arithmetical and logical computations using the λ-calculus and how to define recursive functions, even though λ-calculus functions are unnamed and thus cannot refer explicitly to themselves."


[Learn Lambda Calculus in 10 minutes with OCaml](https://dev.to/chshersh/learn-lambda-calculus-in-10-minutes-with-ocaml-56ba)