INSTITUTE

Лямбда-числення

Курс лекцій для студентів першого курсу кафедри формальної філософії КВ-123-01

Лямбда-числення

Лямбда-числення — внутрішня мова декартово-замкнених категорій, природня мова програмування математики. Цей курс знайомить з основними системами типів, що складають куб Барендрехта.