Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: Revised Lectures/Intern. Summer School and Workshop, Oxford, UK, April 2000

Б3.5, Б3.2, Б2.1, Б2.2.

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: Revised Lectures/Intern. Summer School and Workshop, Oxford, UK, April 2000Ed. by Backhouse R., Crole R., Gibbons J..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2297.-387 p.-(Lecture Notes in Computer Science).