filmov
tv
Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)
Показать описание
In this video we discuss the way in which you can evaluate a lambda calculus program/expression using a number of rules (delta rules, beta reduction, alpha conversion and eta conversion).
Contents:
00:30 - Video Contents Summary
00:52 - Bound vs. free variables
01:52 - Delta (δ) rules
02:31 - Beta (β) reduction
11:12 - Alpha (α) conversion
14:19 - Eta (η) conversion
Contents:
00:30 - Video Contents Summary
00:52 - Bound vs. free variables
01:52 - Delta (δ) rules
02:31 - Beta (β) reduction
11:12 - Alpha (α) conversion
14:19 - Eta (η) conversion
0:16:55
Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)
0:34:26
Lambda (λ) Calculus Primer
0:10:22
Intro to Lambda Calculus: Syntax, evaluation, terminology (compared to Haskell, Python, JavaScript)
0:02:57
Let expressions in Lambda Calculus: Syntax and evaluation rules
0:06:09
Lambda Calculus For Dummies: What is a lambda expression
0:15:43
Lambda Calculus: The foundation of functional programming, and the simplest programming language
0:15:11
What is Lambda Calculus? (ft. Church Encodings)
0:10:49
What is the lambda (λ) calculus?
0:05:41
Lambda calculus normal form, and the Church-Rosser theorems
0:04:33
Lambda calculus in 5 minutes
0:06:24
Lambda Calculus Syntax
0:19:08
Semantics: Lambda Calculus and Types
0:01:23
Lambda Calculus Evaluation
0:15:18
Functions by Subsitution (Lambda-Calculus Part I)
0:33:55
L17: Lambda Calculus Reductions and Substitution
0:09:24
Free and Bound Variables in Lambda Calculus: What are they and how can we calculate them?
0:09:51
Lambda Calculus!
0:54:26
David Broman - The Lambda Calculus
0:13:32
Reducing Lambda Expressions
0:31:53
β-reduction and normal form
0:08:20
CS442 Video 2.1: Lambda calculus booleans
1:05:29
PL Class: Lambda calculus
0:11:51
L18: Reduction Strategies
0:34:32
The lambda calculus and basic type checking
Комментарии