Guest
Функциональное программирование в МФТИ. Темы: предикаты сравнения натуральных чисел; минимизация в бестиповом лямбда-исчислении; результаты о представимости вычислимых функций; неразрешимость бестипового лямбда-исчсления (теорема Скотта). ======== Если видео показалось вам полезным, вы можете поддержать автора: === If you have found this video helpful, you might want to support the author: === BTC: bc1q3p5x57cppjs0rfgj5f406yrljxylg96seed0t4
