OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
S. Abramsky and R. Jagadeesan
book title
Annals of Pure and Applied Logic
pages
3-37
volume
133
year
2005
BibTeX
Download (pdf)
Samson Abramsky
