OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Jamie Vicary
year
2008
BibTeX
Link
activities
Quantum Group
themes
Foundations, Logic and Structures
