Paper Info
Title
The λ-calculus in the π-calculus.
Abstract
A general approach is proposed for transforming objects to methods on the fly in the framework of the pi-calculus. 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 fully abstract with respect to Abramsky's applicative bisimilarity.
Year
DOI
Venue
2011
10.1017/S0960129511000260
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Keywords
DocType
Volume
process calculus,lambda calculus
Journal
21
Issue
ISSN
Citations 
5
0960-1295
5
PageRank 
References 
Authors
0.46
25
2
Name
Order
Citations
PageRank
Xiaojuan Cai1365.95
Yuxi Fu253568.07