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 25 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)
- Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027) (← links)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)
- (Q4580329) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- (Q5018484) (← links)
- (Q5020617) (← links)
- (Q5079745) (← links)
- (Q5094148) (← links)
- (Q5119393) (← 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)
