Pages that link to "Item:Q1652971"
From MaRDI portal
The following pages link to A double category theoretic analysis of graded linear exponential comonads (Q1652971):
Displaying 9 items.
- Resourceful program synthesis from graded linear types (Q2119110) (← links)
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Towards a Formal Theory of Graded Monads (Q2811361) (← links)
- On the Structure of Graded Commutative Exponential functors (Q5066823) (← links)
- Towards logical foundations for probabilistic computation (Q6560995) (← links)
- Logical foundations of quantitative equality (Q6649445) (← links)
- Curry and Howard meet Borel (Q6649480) (← links)
- Deriving distributive laws for graded linear types (Q6657787) (← links)