OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
S. Abramsky
book title
Mathematical Structures in Computer Science
pages
531-565
volume
13
year
2003
BibTeX
Download (ps.gz)
Samson Abramsky
