OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Hinze, Ralf and Jeuring, Johan
institution
Universiteit Utrecht
number
UU-CS-2003-15
year
2003
BibTeX
Ralf Hinze
activities
Algebra of Programming
