What: | Lecture |
When: | Sunday, 15 May 2011, 13:00–14:35 |
Where: | ПОМИ РАН |
Slides: | systemsoftypedlambdacalculi_lecture_150511.pdf |
Интерпретация высказывания-как-типы
. Правильность и полнота представления. Прямое представление логик в системах лямбда-куба. Logical Framework: представление различных логик в $ \lambda P $.