An Algebra for Kripke Polynomial Coalgebras.

Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva

Browse the full LICS paper archive.