Исследовательская группа
Лаборатория языковых инструментов
Денотационная семантика лямбда-исчисления
14 марта
В докладе будут рассмотрены семантики различных версий лямбда-исчисления (STLC, PCF и модель D^\infinity для нетипизированного случая).
Материалы к докладу:
1. Glynn Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.
2. Henk P. Barendregt. The Lambda Calculus, its Syntax and Semantics.
Докладчик: Дмитрий Булычев.