The talk will cover denotational semantics of certain versions of lambda calculus (STLC, PCF, and model D^\infinity for untyped case).
1. Glynn Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.
2. Henk P. Barendregt. The Lambda Calculus, its Syntax and Semantics.
Presenter: Dmitry Boulytchev.
Date: March 14, 2016
Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr-t, 28