Dana S. Scott: Lambda Calculus, Then and Now

Похожие видео

Lambda Calculus - Computerphile

Lambda Calculus Then and Now

Lambda Calculus vs. Turing Machines (Theory of Computation)

Программирование с использованием математики | Лямбда-исчисление

Комплексные числа. Как мнимое стало реальным // Vital Math

Задача из вступительных Стэнфорда

Где начало СХЕМЫ? Понимаем, читаем, изучаем схемы. Понятное объяснение!

Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s

Самая простая нерешённая задача — гипотеза Коллатца [Veritasium]

Разведчик о том, как использовать людей

Pierre Deligne | What is the Hodge conjecture?

Для Чего РЕАЛЬНО Нужен был ГОРБ Boeing 747?

Philip Wadler: Church's Coincidences

В чем разница между матрицами и тензорами?

Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

Knots and Quantum Theory - Edward Witten

"A Little Taste of Dependent Types" by David Christiansen

David Harel: Standing on the Shoulders of a Giant -- One Person's Experience of Turing's Impact

Идеальное оружие: смогут ли гафниевые бомбы заменить ядерные?

A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks