Regras de avaliação de cálculo lambda (λ) (conversão/redução δ, β, α, η)
Vídeos relacionados
12:40
Lambda Calculus - Computerphile
16:55
Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)
42:45
FORCED - The Language Of The Universe.
13:07
The most intriguing discovery of Computer Science: the Y combinator demystified.
32:20
Reinventing Entropy | Compression is Intelligence Part 1
48:32
Polymorphism and Type Classes in Haskell
9:19
Functional Programming & Haskell - Computerphile
1:02:15
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
54:17
A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks
29:48
Introduction to Combinatory Logic – #SoME2
56:51
Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker
49:00