MIPT-CyPr-FP-25-Lect-sn1

Функциональное программирование в МФТИ. Темы: теорема о неподвижной точке; решение "уравнений" и их систем; явная рекурсия; минимизация; представление списков; бесконечные списки; исчисление с простыми типами; вывод типа; основные свойства этой системы.