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