Типизированное лямбда-исчисление
Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 2. Доказательства в IsabelleSee more
lambda calculus reviewSee more
The Simply Typed Lambda Calculus (2.1)See more
The Extension λ2 (Lambda Two) (3.1)See more
Что такое лямбда-исчисление? Душкин объяснитSee more
Типизированное лямбда исчисление. Катасонов В.Г.See more
3. Просто типизированное лямбда-исчислениеSee more
ФЯП: типизированное лямбда-исчислениеSee more
Надежда Хорошавкина//Категорная полнота для простого типизированного лямбда-исчисленияSee more
Properties of the Simply Typed Lambda Calculus (2.2)See more
С. Кузнецов - Функциональное программирование, лекция 6See more
Типизированное лямбда-исчислениеSee more
Лямбда исчисление 3 (3). Типизированное лямбда исчислениеSee more
Towards a Compositional Typed Semantics using Universal DependenciesSee more
С. Кузнецов - Функциональное программирование, лекция 3See more
3 type checking and simply typed lambda calculusSee more
clojureD 2018: "A Dynamic, Statically Typed Contradiction" by Andrew McveighSee more
3 Просто типизированное лямбда исчислениеSee more
«Английский язык программирования, или лямбда-исчисление для докторов», Арсений ЖижелевSee more
