A coalgebraic view on positive modal logic (0)

by A Palmigiano
Venue:Theoret. Comput. Sci