Чистое лямбда-исчисление как язык программирования
Среда, 13 февраля 2019
Таймс, ауд. 405
Лямбда-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, простейшие операции над ними.