The following pages link to (Q5020617):
Displaying 6 items.
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Monadic augment and generalised short cut fusion (Q2936792) (← links)
- Monadic augment and generalised short cut fusion (Q5428372) (← links)
- Flexibly graded monads and graded algebras (Q6109207) (← links)
- Unifying graded and parameterised monads (Q6333624) (← links)