Tuesday November 02, 2004, 14:00, Robert Recorde Room
Philip Scott (Ottawa)
Geometry of Interaction and the Dynamics of Proofs