Pages that link to "Item:Q2828243"
From MaRDI portal
The following pages link to A theory of effects and resources: adjunction models and polarised calculi (Q2828243):
Displaying 9 items.
- Graded algebraic theories (Q2200837) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- Back to futures (Q5063251) (← links)
- (Q5119390) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Towards logical foundations for probabilistic computation (Q6560995) (← links)
- Curry and Howard meet Borel (Q6649480) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)
