Pages that link to "Item:Q5410667"
From MaRDI portal
The following pages link to A Semantical and Operational Account of Call-by-Value Solvability (Q5410667):
Displayed 17 items.
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- The bang calculus revisited (Q2039931) (← links)
- The spirit of node replication (Q2233421) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- Open Call-by-Value (Q3179293) (← links)
- (Q3300796) (← links)
- (Q4580329) (← links)
- (Q5076060) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- Head reduction and normalization in a call-by-value lambda-calculus (Q5240183) (← links)
- On reduction and normalization in the computational core (Q5879269) (← links)
- Z property for the shuffling calculus (Q5879272) (← links)
- The bang calculus revisited (Q6116183) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)
- Quantitative global memory (Q6199577) (← links)