The following pages link to (Q5018484):
Displaying 9 items.
- The bang calculus revisited (Q2039931) (← links)
- Taylor expansion, finiteness and strategies (Q2133165) (← 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)
- The spirit of node replication (Q2233421) (← links)
- On reduction and normalization in the computational core (Q5879269) (← links)
- (Q6079229) (← links)
- The bang calculus revisited (Q6116183) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)
