Institutionalising many-sorted coalgebraic modal logic (2002)

by Corina Cîrstea
Venue:Coalgebraic Methods in Computer Science 2002, Electronic Notes in Theoretical Computer Science