Publications

Export 1 results:
Filters: Author is Giunti, Marco  [Clear All Filters]
2016
Giunti, M., and V. Thudichum Vasconcelos, "Linearity, session types and the Pi calculus", Mathematical Structures in Computer Science, vol. 26, no. 2: Cambridge University Press, pp. 206–237, 2016.