Paul André Milliès
Universitè Paris VII

Game Semantics in String Diagrams

In this introductory talk, I will explain how game semantics may be seen as a categorical syntax for linear continuations, based on three-dimensional Penrose diagrams. This stringy notation for proofs and programs reveals the interactive nature of continuations, and sheds light on the basic structure of polarities in logic.

Host: Frank Pfenning
Appointments: Jennifer Landefeld <>

Friday, Arpil 17, 2009
12:00 p.m.
Wean Hall 4615A

Note: Not the usual time and place.

Principles of Programming Seminars