Dana S. Scott: Lambda Calculus, Then and Now

Philip Wadler: Church's Coincidences

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

Трехсторонние переговоры, Послевкусие Давоса, Машенька для Уиткоффа. Белковский, Чижов, Романова

Dana S. Scott: Seventy Years Using Fixed Points

Andrew Odlyzko: Turing and the Riemann zeta function

Adam McCullough - Greek Classics: Lambda Calculus For Beginners - λC 2017

Lambda Calculus vs. Turing Machines (Theory of Computation)

4 Hours Chopin for Studying, Concentration & Relaxation

Владимир Пастухов* и Алексей Венедиктов*. Пастуховские четверги / 22.01.26

Путин резко меняет тактику / Впервые применено секретное оружие

Prof. Dana Scott - Geometry Without Points

Pierre Deligne | What is the Hodge conjecture?

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part II

Ronald Rivest: The Growth of Cryptography

Per Martin Löf: How did 'judgement' come to be a term of logic ?

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

"A Little Taste of Dependent Types" by David Christiansen

Princeton Robotics - Russ Tedrake - Dexterous Manipulation with Diffusion Policies

Lambda Calculus Then and Now

Philip Wadler - Propositions as Types (Lambda Days 2016)