Paul André Milliès
Universitè Paris VII
Game
Semantics in String Diagrams
Abstract:
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 <jennsbl@cs.cmu.edu>
Friday, Arpil
17, 2009
12:00 p.m.
Wean
Hall 4615A
Note: Not the usual time and place.
Principles
of Programming Seminars