Исследовательская группа

Лаборатория языковых инструментов

Денотационная семантика лямбда-исчисления

March 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.

Докладчик: Дмитрий Булычев.