ViewTube

In the 1930s, Alonzo Church built a formal system from nothing but functions. No numbers, no data types, no machine — just ...

Visual Lambda Calculus environment. Bubble notation. Factorial. Project main page: https://github.com/bntre/visual-lambda Play ...

In this video, we will talk about alpha equivalence, alpha conversion, and beta reduction, three fundamental techniques used to ...