Pages that link to "Item:Q2863844"
From MaRDI portal
The following pages link to A reflective higher-order calculus (Q2863844):
Displaying 4 items.
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- The reflective higher-order calculus: encodability, typability and separation (Q6124241) (← links)
- A generic type system for higher-order \(\Psi\)-calculi (Q6614878) (← links)