here you goThings I’ve made, read and saved — shared here.

#lambda-calculus

1 note or post.

Notes and posts

  • Lambda Calculus

    Note

    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…