btbytes.com

Home

❯

Lambda Calculus

Lambda Calculus

Feb 05, 20241 min read

  • lambda-calculus

A Tutorial Introduction to the Lambda Calculus 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


Graph View

  • GitHub
  • LinkedIn
  • Twitter