McBride, C., Kurz, A. (Editor), Lenisa, M. (Editor) & Tarlecki, A. (Editor),
Sept 2009,
Algebra and Coalgebra in Computer Science. 5728 ed. Springer,
p. 113-126 13 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Chapter