Pages that link to "Item:Q2811361"
From MaRDI portal
The following pages link to Towards a Formal Theory of Graded Monads (Q2811361):
Displaying 21 items.
- Tensor topology (Q2176086) (← links)
- Graded algebraic theories (Q2200837) (← links)
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- A general semantic construction of dependent refinement type systems, categorically (Q2233424) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Time warps, from algebra to algorithms (Q2695363) (← links)
- Comprehending Ringads (Q3188283) (← links)
- Space in Monoidal Categories (Q3384956) (← links)
- On lifting of biadjoints and lax algebras (Q4553294) (← links)
- Homotopy theory of normed sets I. Basic constructions (Q4586403) (← links)
- A Probability Monad as the Colimit of Spaces of Finite Samples (Q4628472) (← links)
- The formal theory of multimonoidal monads (Q4631636) (← links)
- Morphisms of Rings (Q5014599) (← links)
- 2-dimensional bifunctor theorems and distributive laws (Q5019077) (← links)
- (Q5020617) (← links)
- Flexibly graded monads and graded algebras (Q6109207) (← links)
- Canonical Gradings of Monads (Q6150137) (← links)
- Deciding Equations in the Time Warp Algebra (Q6151556) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)
- Multinomial and hypergeometric distributions in Markov categories (Q6653751) (← links)
- A compositional approach to parity games (Q6653762) (← links)