MIPT-FP-23-Lect-03

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