The following pages link to (Q4417854):
Displaying 14 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- 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)
- The polymorphic imperative: a generic approach to in-place update (Q2845526) (← links)
- Processes and games (Q2851048) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Every 1-generic computes a properly 1-generic (Q3416120) (← links)
- Invisible genericity and 0<sup>#</sup> (Q4254683) (← links)
- (Q4511302) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)