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 6 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)
- (Q4611384) (← 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)
