MPG.eBooks - Search Results - "allegory"

Cover Image

1

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Published 2002

Springer Berlin Heidelberg

“... algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory...”