OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
S. Abramsky and R. Duncan
book title
Mathematical Structures in Computer Science, 16
pages
469-489
year
2006
BibTeX
Download (pdf)
Samson Abramsky
