JetBrains Research unites scientists working in challenging new disciplines

Seminar on Denotational Semantics of Lambda Calculus

The talk will cover denotational semantics of certain versions of lambda calculus (STLC, PCF, and model D^\infinity for untyped case).

Supplementary materials:

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

Time: 17:10

Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr-t, 28