The following pages link to (Q4490718):
Displaying 4 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Mobile Processes and Termination (Q3184750) (← links)
- Higher-order processes and their models (Q4632434) (← links)
- May and must convergency in concurrent λ-calculus (Q5096878) (← links)
