Автор: Kristopher Micinski
Загружено: 2021-04-05
Просмотров: 7560
https://gist.github.com/kmicinski/3be...
P4: Church Encoding
Lambda Calculus - Computerphile
L16: Lambda Calculus Introduction
What if numbers were functions?
How to loop in a loopless language (Y Combinator)
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part II
Lambda (λ) Calculus Primer
Essentials: Functional Programming's Y Combinator - Computerphile
Изучите лямбда-исчисление: язык, содержащий ТОЛЬКО ФУНКЦИИ
Lambda Calculus vs. Turing Machines (Theory of Computation)
What is Lambda Calculus? (ft. Church Encodings)
Программирование с использованием математики | Лямбда-исчисление
Lambda Calculus: The foundation of functional programming, and the simplest programming language
Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)
L17: Lambda Calculus Reductions and Substitution
What is a Monad? - The Last Monad Intro You'll Ever Need
Idris 2: Quantitative Types in Action - Edwin Brady
Коса Кодировка 7 - Церковные цифры
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
CSE 340 F16: 11-9-16 "Lambda Calculus Pt. 1"