The following pages link to (Q5208874):
Displayed 6 items.
- The spirit of node replication (Q2233421) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- (Q5208874) (← links)
- Quantitative weak linearisation (Q6164467) (← links)
- A faithful and quantitative notion of distant reduction for generalized applications (Q6181933) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)