A general final coalgebra theorem
J. Adamek, J. Velebil, S. Milius
págs. 409-432
Monads of coalgebras: rational terms and term graphs
F. De Marchi, C. Luth, N. Ghani
págs. 433-452
Coalgebraic modal logic of finite rank
A. Kurz, D. Pattinson
págs. 453-474
A note on coalgebras and presheaves
J. Worrell
págs. 475-486
On bisimulations for the spi calculus
J. Borgstrom, U. Nestmann
págs. 487-552
Profunctors, open maps and bisimulation
O. L. Cattani
págs. 553-614
© 2008-2024 Fundación Dialnet · Todos los derechos reservados