Conor McBride

Filter

2009
Let's see how things unfold.: reconciling the infinite with the intensional (extended abstract)
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
16 Citations (Scopus)

Research output