Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
Backhouse, Roland C
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
Roland Backhouse, Roy Crole, Jeremy Gibbons, eds
- New York Springer 2002
- xiv, 385 p. : ill. ; 24 cm