OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Hinze, Ralf and Löh, Andres
journal
Science of Computer Programming
note
to appear
year
2007
BibTeX
Ralf Hinze
activities
Algebra of Programming