OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Richard Bird and Ross Paterson
journal
Formal Aspects of Computing
pages
200—222
volume
11
year
1999
BibTeX
Link (pdf)
Richard Bird
activities
Algebra of Programming
