On varieties and covarieties in a category
Mathematical Structures in Computer Science
On tree coalgebras and coalgebra presentations
Theoretical Computer Science
On the final sequence of a finitary set functor
Theoretical Computer Science
A modal proof theory for final polynomial coalgebras
Theoretical Computer Science
Hi-index | 5.24 |