The Isaac Newton Institute for Mathematical Sciences
Logic and Algorithms
Ong3, 2006-02-09: Game semantics and its algorithmic applications: Part III
presentation material as: [Adobe PDF 261kB]
entire talk as: [RealAudio 19MB] [MP3 12MB]