A coalgebraic view on positive modal logic (0)

by A Palmigiano
Venue:Theoretical Computer Sceince