OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Hinze, Ralf
journal
Science of Computer Programming
pages
129-159
volume
43
year
2002
BibTeX
Ralf Hinze
activities
Algebra of Programming
