Spar
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
This textbook-like tutorial presents eight chapters on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, temporal algebra and more.
- Undertittel
- International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
- Redaktør
- Roland Backhouse, Roy Crole, Jeremy Gibbons
- Opplag
- 2002 ed.
- ISBN
- 9783540436133
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 17.4.2002
- Antall sider
- 390
