Pages that link to "Item:Q618170"

The following pages link to Presenting functors on many-sorted varieties and applications (Q618170):

Displaying 2 items.

• On a categorical framework for coalgebraic modal logic (Q283748) (← links)
• Coalgebraic semantics of modal logics: an overview (Q639647) (← links)