R. Atkey, S. Lindley, J. G. Morris, S. Lindley, C. Mcbride et al., 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.

S. Balzer and F. Pfenning, Manifest sharing with session types, Proceedings of the ACM on Programming Languages, vol.1, pp.1-29, 2017.

S. Balzer, F. Pfenning, and B. Toninho, A Universal Session Type for Untyped Asynchronous Communication, Leibniz International Proceedings in Informatics (LIPIcs), vol.118, 2018.

S. Balzer, B. Toninho, and F. Pfenning, Manifest deadlock-freedom for shared session types, Programming Languages and Systems, pp.611-639, 2019.

M. Boreale, On the expressiveness of internal mobility in namepassing calculi, Theoretical Computer Science, vol.195, issue.2, pp.205-226, 1998.

L. Caires, M. Abadi, P. Gardner, and A. Gordon, Types and logic, concurrency and non-determinism, Essays for the Luca Cardelli Fest. Microsoft Research, 2014.

L. Caires and J. A. Pérez, Held as Part of the European Joint Conferences on Theory and Practice of Software, 2017.

L. Caires and F. Pfenning, Session Types as Intuitionistic Linear Propositions, pp.222-236, 2010.

J. Y. Girard, A. Scedrov, and P. J. Scott, Bounded linear logic: A modular approach to polynomial-time computability, Theor. Comput. Sci, vol.97, issue.1, pp.1-66, 1992.

K. Honda, Types for dyadic interaction, CONCUR'93, pp.509-523, 1993.

W. Kokke, F. Montesi, and M. Peressotti, Taking linear logic apart, Workshop on Linearity & TLLA at FloC'18, 2018.

W. Kokke, F. Montesi, and M. Peressotti, Better late than never: A fully-abstract semantics for classical processes, PACMPL, vol.3, 2019.

S. Lindley and J. G. Morris, Talking bananas: Structural recursion for session types, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, pp.434-447, 2016.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, II. Information and Computation, vol.100, issue.1, pp.90009-90014, 1992.

D. Sangiorgi, ?-calculus, internal mobility, and agent-passing calculi, Theoretical Computer Science, vol.167, issue.1-2, pp.75-83, 1996.

P. Wadler, Propositions as sessions, Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming, vol.12, pp.273-286, 2012.