1. Лямбда-исчисление
Лямбда-исчисление и теория типов (обзорная лекция)See more
Зиборов К.В.-Формальная семантика и верификация ПО- Семинар 1.Введение в Isabelle.Лямбда-исчислениеSee more
[s5 | 2022] Теория типов, Дмитрий Штукенберг, лекция 1See more
![[s5 | 2022] Теория типов, Дмитрий Штукенберг, лекция 1](https://img.youtube.com/vi/Rmbd59AdQrs/0.jpg)
Глеб Красилич//Лямбда-исчисление и Соответствие Карри-ГовардаSee more
МЛиТА. Лямбда-исчислениеSee more
3. Просто типизированное лямбда-исчислениеSee more
Что такое лямбда-исчисление? Душкин объяснитSee more
Лекция 4. С.Л. Кузнецов. Лямбда-исчислениеSee more
Лекция 1. С.Л. Кузнецов. Лямбда-исчислениеSee more
Математическая логика и теория алгоритмов 16. Лямбда исчисление (продолжение)See more
Лекция 1. С.Л. Кузнецов. Лямбда-исчислениеSee more
Free and Bound Variables in Lambda Calculus: What are they and how can we calculate them?See more
Лекция 6. С.Л. Кузнецов. Простая система типов для лямбда-исчисленияSee more
Лекция 8. С.Л. Кузнецов. Теоретико-множественная семантика типизованного лямбда-исчисленияSee more
Математическая логика и теория алгоритмов 15. Лямбда-исчисление.See more
Intro to Lambda Calculus: Syntax, evaluation, terminology (compared to Haskell, Python, JavaScript)See more
Надежда Хорошавкина//Категорная полнота для простого типизированного лямбда-исчисленияSee more
Анна Оверчук//Вычислительная сложность λ-исчисленияSee more
Язык Kotlin 2021 | W5L2 | Лямбда-исчислениеSee more
