Pages that link to "Item:Q1698760"
From MaRDI portal
The following pages link to Container combinatorics: monads and lax monoidal functors (Q1698760):
Displaying 7 items.
- Complexity bounds for container functors and comonads (Q1640987) (← links)
- Modular verification of programs with effects and effects handlers (Q1996433) (← links)
- When is a container a comonad? (Q2878762) (← links)
- Update Monads: Cointerpreting Directed Containers (Q2968407) (← links)
- Higher-Order Containers (Q3576186) (← links)
- Partiality and Container Monads (Q5056003) (← links)
- Decomposing Comonad Morphisms. (Q5875355) (← links)