Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Generating the algebraic theory of C(X): The case of partially ordered compact spaces | 2018 | |||
10.1007/978-94-017-8860-1_6 | 2014 | |||
Introduction to coalgebra | 2005 | |||
Towards a calculus of state-based software components | 2003 | |||
An empty inverse limit | 1972 |