The λ-calculus in the π-calculus
Xiaojuan Cai, Yuxi Fu · Mathematical Structures in Computer Science · 2011
A general approach is proposed for transforming objects to methods on the fly in the framework of the π-calculus. The power of the approach is demonstrated by applying it to generate an encoding of the full lambda calculus in the π-calculus. The encoding is proved to preserve and reflect beta reduction, and is shown to be fully abstract with respect to Abramsky's applicative bisimilarity.