The following pages link to (Q3138535):
Displaying 13 items.
- Galois functors and entwining structures (Q986526) (← links)
- Monad as modality (Q1392142) (← links)
- Combining a monad and a comonad (Q1603819) (← links)
- Whither semantics? (Q2286732) (← links)
- Comonadic notions of computation (Q2873672) (← links)
- (Q4510742) (← links)
- Internal and Interval Semantics for CP-Comparatives (Q4933254) (← links)
- Problems in rewriting applied to categorical concepts by the example of a computational comonad (Q5055832) (← links)
- The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
- Relating structure and power: Comonadic semantics for computational resources (Q5158366) (← links)
- Lifting theorems for Kleisli categories (Q5890054) (← links)
- Concrete data structures and functional parallel programming (Q5941198) (← links)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)