Login
From:
Chaotic Blog of Artyom Bologov
(Uncensored)
subscribe
Making Sense of Lambda Calculus 1: Ignorant, Lazy, and Greedy Evaluation
https://aartaka.me/lambda-1
links
backlinks
Read on the website: Lambda Calculus is a strong model for computation, but computing examples in it often feels off. In this post, I'm trying to understand how Lambda Calculus evaluation/reduction actually works.
Roast topics
Find topics
Find it!
