Лекция 6. С.Л. Кузнецов. Простая система типов для лямбда-исчисления

Лекция 1. С.Л. Кузнецов. Лямбда-исчислениеSee more

С. Кузнецов - Функциональное программирование, лекция 6See more

Лекция 7. С.Л. Кузнецов.Алгоритм выведения наиболее общего типа в системе Карри (окончание).Теор...See more

Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление...See more

Лекция 6. С.Л. Кузнецов. Алгоритм выведения наиболее общего типа в системе КарриSee more