OXFORD UNIVERSITY  COMPUTING LABORATORY

Course on Game semantics

* Contact details



Notes on categories (4-up PS version). (PDF version).

Notes on categories (PS version).

Notes on the Curry-Howard Correspondence and Linear Logic (4-up PS version).

Notes on the Curry-Howard Correspondence and Linear Logic (PS version).

Notes on the Curry-Howard Correspondence and Linear Logic (PDF version).

Introduction to Game Semantics (4-up PS version). Introduction to Game Semantics (PDF).

Introduction to Game Semantics (PS version).

Lecture Notes on Game Semantics (PS). (PDF).

Interaction: splitting the atom of computation.

Lecture Notes on Game Semantics from Proceedings of Marktoberdorf `97 Summer School.

BCS/IEE Turing Lecture - From Computation to Interaction: towards a science of information.

Algorithmic game semantics: a tutorial introduction.



Exercise Sheet 1 (PS version). Exercise Sheet 1 (PDF version).

Solutions for Exercise Sheet 1.

Exercise Sheet 2 (PS version). Exercise Sheet 2 (PDF version).

Exercise Sheet 3 (PS version). Exercise Sheet 3 (PDF version).

Exercise Sheet 4 (PS version). Exercise Sheet 4 (PDF version).

Solutions for Exercise Sheet 4.

Exercise Sheet 5 (PS version). Exercise Sheet 5 (PDF version).

Exercise Sheet 6 (PS version). Exercise Sheet 6 (PDF version).

Exercise Sheet 7 (PS version). Exercise Sheet 7 (PDF version).

Random Image
Random Image
Random Image