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