City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Лямбда-куб и логические системы
Systems of typed lambda calculi

What: Lecture
When: Sunday, 15 May 2011, 13:00–14:35
Where: ПОМИ РАН
Slides: systemsoftypedlambdacalculi_lecture_150511.pdf

Description

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