A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, 2016. ,
Manifest sharing with session types, Proceedings of the ACM on Programming Languages, vol.1, pp.1-29, 2017. ,
A Universal Session Type for Untyped Asynchronous Communication, Leibniz International Proceedings in Informatics (LIPIcs), vol.118, 2018. ,
Manifest deadlock-freedom for shared session types, Programming Languages and Systems, pp.611-639, 2019. ,
On the expressiveness of internal mobility in namepassing calculi, Theoretical Computer Science, vol.195, issue.2, pp.205-226, 1998. ,
Types and logic, concurrency and non-determinism, Essays for the Luca Cardelli Fest. Microsoft Research, 2014. ,
, Held as Part of the European Joint Conferences on Theory and Practice of Software, 2017.
Session Types as Intuitionistic Linear Propositions, pp.222-236, 2010. ,
Bounded linear logic: A modular approach to polynomial-time computability, Theor. Comput. Sci, vol.97, issue.1, pp.1-66, 1992. ,
Types for dyadic interaction, CONCUR'93, pp.509-523, 1993. ,
Taking linear logic apart, Workshop on Linearity & TLLA at FloC'18, 2018. ,
Better late than never: A fully-abstract semantics for classical processes, PACMPL, vol.3, 2019. ,
Talking bananas: Structural recursion for session types, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, pp.434-447, 2016. ,
A calculus of mobile processes, II. Information and Computation, vol.100, issue.1, pp.90009-90014, 1992. ,
?-calculus, internal mobility, and agent-passing calculi, Theoretical Computer Science, vol.167, issue.1-2, pp.75-83, 1996. ,
Propositions as sessions, Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming, vol.12, pp.273-286, 2012. ,