OUCL
news
research
teaching
people
calendar
resources
login
OXFORD UNIVERSITY
COMPUTING LABORATORY
Samson Abramsky: Projects and Collaborations
Current Projects
Algorithmic Game Semantics and its Applications
Geometry of Interaction and the Foundations of Reversible and Quantum Computation
CABDyN
APPSEM II
Return to Samson Abramsky's homepage