Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Лямбда-куб и логические системы
Системы типизации лямбда-исчисления

Что: Лекция
Когда: Воскресенье, 15 мая 2011, 13:00–14:35
Где: ПОМИ РАН
Слайды: systemsoftypedlambdacalculi_lecture_150511.pdf

Описание

Интерпретация высказывания-как-типы. Правильность и полнота представления. Прямое представление логик в системах лямбда-куба. Logical Framework: представление различных логик в \( \lambda P \).