Regras de avaliação de cálculo lambda (λ) (conversão/redução δ, β, α, η)
Vídeos relacionados
1:02:15
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
21:48
Programming with Math | The Lambda Calculus
7:42
#74 - Python Lambda Functions Explained 🚀 - Python Course 💻
16:55
Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)
30:08
Lambda Calculus Then and Now
42:51
Feynman Explains Why light does not move
48:32
Polymorphism and Type Classes in Haskell
3:26:34
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
13:26
Essentials: Functional Programming's Y Combinator - Computerphile
31:13
What is Group Theory? — Group Theory Ep. 1
12:40
Lambda Calculus - Computerphile
1:11:47