Paul André Milliès
Universitè Paris VII
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 <email@example.com>
Note: Not the usual time and place.
of Programming Seminars