Monthly Archives: February 2012

A case against syntactic context

A program is what a program does, so if two programs do the same thing then they are the same thing. Semantics starts when you try to pin down what “doing the same thing” means. What is observable? Input and … Continue reading

Posted in system level semantics | 1 Comment

Three talks at “Logic and interactions” winter school, CIRM, Luminy

I recently gave a research tutorial on game semantics at Logic and interactions 2012, CIRM, Marseille. I was asked to emphasize the connection between game semantics and the Geometry of Interaction, which I was very happy to do. I didn’t try too hard to … Continue reading

Posted in game semantics | Leave a comment