OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
S. Abramsky
book title
J. Logic and Computation, 1(1)
pages
5-41
year
1990
BibTeX
Samson Abramsky
