Recursive coalgebras of finitary functors (0)

by Jiˇrí Adámek, Dominik Lücke, Stefan Milius
Venue:Theoretical Informatics and Applications