If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Chapter
2009

Let's see how things unfold.: reconciling the infinite with the intensional (extended abstract)

McBride, C., Kurz, A. (ed.), Lenisa, M. (ed.) & Tarlecki, A. (ed.), Sep 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 proceedingChapter

12 Citations (Scopus)