Institutionalising many-sorted coalgebraic modal logic (2002)

by C Cirstea
Venue:In CMCS 2002, Electronic Notes in Theoretical Computer Science. Elsevier Science