Найти в Дзене
Войти
1,0×
Лекция 3 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
3 просмотра · 12 лет назад
00:00
/
01:02:03
Лекториум
1108 подписчиков
Подписаться
Хотите видеть больше публикаций по теме «Наука»?
Давайте
Наука
7 млн интересуются
Следить за темой
2905736861.1771.1752400628635.40074