Чистое лямбда-исчисление как язык программирования
Вторник, 30 января 2018
НГУ, ауд. 2128, НГУ, новый корпус
Лямбда-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, простейшие операции над ними.