The Isaac Newton Institute for Mathematical Sciences
Logic and Algorithms
Ong1, 2006-02-06: Game semantics and its algorithmic applications: Part I
presentation material as: [Adobe PDF 231kB]
entire talk as: [RealAudio 20MB] [MP3 13MB]