The following pages link to (Q5208874):
Displaying 6 items.
- The spirit of node replication (Q2233421) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- (Q5208874) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)
- A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications (Q6597960) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)