The following pages link to (Q4417854):
Displayed 6 items.
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Full abstraction for polymorphic \(\pi \)-calculus (Q2474052) (← links)
- Ensuring termination by typability (Q2500473) (← links)
- Genericity and the \(\pi\)-calculus (Q2576663) (← links)