Title | Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures |
---|---|
Author | Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.) |
Year | 2002 |
Edition | 1 |
Volume | |
Series | Lecture Notes in Computer Science 2297 |
Publisher | Springer-Verlag Berlin Heidelberg |
City | Berlin; New York |
Language | English |