Article contents
The λ-calculus in the π-calculus†
Published online by Cambridge University Press: 19 May 2011
Abstract
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.
- Type
- Paper
- Information
- Copyright
- Copyright © Cambridge University Press 2011
References
- 6
- Cited by