2016-11-09: Stuart Gale (MSP)

Tue, 14 Oct 2025 16:51:42 +0000

Stuart Gale (MSP)

MSP 101: Meta-theory of lambda-calculi

Abstract

I'll give a standard overview of Simply Typed Lambda Calculus (STLC) (syntax, typing and computation rules) in a well-typed setting, and then modify it to show STLC in a bidirectional setting.

Afterwards I'll show Strong Confluence (Church-Rosser theorem) in the bidirectional setting.

2016-11-09 10:30:00 UTC
LT1310