Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics

Guilhem Jaber, Guilheme Jaber, Davide Sangiorgi

We establish a tight connection between two models of the $\lambda$-calculus, namely Milner's encoding into the $\pi$-calculus (precisely, the Internal $\pi$-calculus), and operational game…