Browse by ISBN
Jump to: Book Section
Number of items: 1.
Book Section
McBride, C.; Kurz, A, and Lenisa, M. and Tarlecki, A., eds. (2009) Let's see how things unfold.: reconciling the infinite with the intensional (extended abstract). In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science (5728). Springer, pp. 113-126. ISBN 978-3-642-03740-5