Eager Functions as Processes

Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi

We study Milner's encoding of the call-by-value $\lambda$-calculus into the $\pi$-calculus. We show that, by tuning the encoding to two subcalculi of the $\pi$-calculus (Internal $\pi$ and Asy…