OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
S. Abramsky
book title
Plotkin Festschrift
pages
33-67
series
Electronic Notes in Theoretical Computer Science
volume
172
year
2007
BibTeX
Download (pdf)
Samson Abramsky
