В 2022 году Computer Science Center приостановил набор и обучение
Курсы
/
Математическая логика
/
осень 2020
/

Лекция 9. Типизированное λ-исчисление и соответствие Карри — Ховарда

Среда, 11 ноября 2020
Онлайн, занятие в zoom