The Isaac Newton Institute for Mathematical Sciences
Logic and Algorithms
Ong2, 2006-02-07: Game semantics and its algorithmic applications: Part II
presentation material as: [Adobe PDF 477kB]
entire talk as: [RealAudio 22MB] [MP3 14MB]