Что: Семинар
Когда: Пятница, 14 февраля 2014, 20:00–21:20
Где: ФМЛ 239, Актовый зал
Слайды: func_prog_seminar_140214.pdf

Описание

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

Материалы

Приложенные файлы