Pages that link to "Item:Q857915"
From MaRDI portal
The following pages link to Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915):
Displaying 17 items.
- On the relations between monadic semantics (Q879354) (← links)
- Iteration and labelled iteration (Q1744383) (← links)
- The polarized \(\lambda\)-calculus (Q1744450) (← links)
- Polarized games (Q1886321) (← links)
- The bang calculus revisited (Q2039931) (← links)
- Taylor expansion, finiteness and strategies (Q2133165) (← links)
- Quantitative logics for equivalence of effectful programs (Q2133179) (← links)
- Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus (Q2141293) (← links)
- Factorization in call-by-name and call-by-value calculi via linear logic (Q2233405) (← links)
- Infinite trace equivalence (Q2474445) (← links)
- (Q5079745) (← links)
- Amb Breaks Well-Pointedness, Ground Amb Doesn't (Q5262940) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)
- (Q6079230) (← links)
- The bang calculus revisited (Q6116183) (← links)
- Galois connecting call-by-value and call-by-name (Q6151562) (← links)
- A coherent differential PCF (Q6178673) (← links)
