2. Программирование в 𝜆-исчислении

Описание к видео 2. Программирование в 𝜆-исчислении

Вторая лекция курса «Соответствие Карри–Ховарда: от математической логики к программированию» https://www.mccme.ru/dubna/2017/cours...
Источник: http://www.mathnet.ru/php/presentatio...

Комментарии

Информация по комментариям в разработке