Pages that link to "Item:Q2842825"
From MaRDI portal
The following pages link to Adjunction models for call-by-push-value with stacks (Q2842825):
Displaying 9 items.
- Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- A theory of effects and resources: adjunction models and polarised calculi (Q2828243) (← links)
- Monads and adjunctions for global exceptions (Q2851326) (← links)
- (Q4611384) (← links)
- (Q4680357) (← links)
- Stream processors and comodels (Q5883748) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- Galois connecting call-by-value and call-by-name (Q6151562) (← links)