Under consideration for publication in Math. Struct. in Comp. Science The λ-calculus in the pi-calculus

A general approach is proposed that transforms, in the framework of pi calculus, objects to methods in an on-the-fly manner. The power of the approach is demonstrated by applying it to generate an encoding of the full lambda calculus in the pi calculus. The encoding is proved to preserve and reflect beta reduction and is shown to be full