The following pages link to Combining a monad and a comonad (Q1603819):
Displayed 5 items.
- Category theory for operational semantics (Q703525) (← links)
- Comparing hierarchies of types in models of linear logic (Q1881220) (← links)
- Algebras versus coalgebras (Q2426119) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Logical relations for monadic types (Q3545276) (← links)