Institutionalising many-sorted coalgebraic modal logic (2002)

by C Cîrstea
Venue:In Coalgebraic Methods in Computer Science