A Kleene theorem for polynomial coalgebras (2009)

by Marcello Bonsangue , Jan Rutten , Ra Silva
Venue:In Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, volume 5504 of LNCS
Citations:10 - 3 self