Slides of talks
- On the Geometry of Interaction for Classical Logic (LICS Conference 2004)
- On the Geometry of Interaction for Classical Logic (GoI Afternoon, Queen Mary, London, November 2004). This can be seen as an update on the LICS talk. It contains new insights about MIX, as well as a generalized version of the extended GoI construction explained in the LICS paper. Details and proofs later appeared in the paper “On categorical models of classical logic and the Geometry of Interaction” mentioned on my publications page.