Conor McBride – Research output — University of Strathclyde

View Scopus Profile

Phone01415483172
Emailconor.mcbridestrath.acuk

United Kingdom

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

13 Conference contribution book
7 Article
2 Conference Contribution
1 Book
More
- 1 Chapter
- 1 Chapter (peer-reviewed)

1 results

Filter

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 proceeding › Chapter
14 Citations (Scopus)