The λ-calculus in the π-calculus

被引：5
|
作者：
Cai, Xiaojuan [1 ]
Fu, Yuxi
机构：
[1] Shanghai Jiao Tong Univ, Dept Comp Sci, BASICS, Shanghai 200240, Peoples R China
来源：
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | 2011年 / 21卷 / 05期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1017/S0960129511000260
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：943 / 996
页数：54
相关论文
共 50 条
  • [1] An interpretation of λμ-calculus in λ-calculus
    Fujita, K
    [J]. INFORMATION PROCESSING LETTERS, 2002, 84 (05) : 261 - 264
  • [2] A Calculus of Lambda Calculus Contexts
    Mirna Bognar
    Roel de Vrijer
    [J]. Journal of Automated Reasoning, 2001, 27 : 29 - 59
  • [3] The theory of calculus for calculus teachers
    Moreno-Armella, Luis
    [J]. ZDM-MATHEMATICS EDUCATION, 2021, 53 (03): : 621 - 633
  • [4] Formal calculus and umbral calculus
    Robinson, Thomas J.
    [J]. ELECTRONIC JOURNAL OF COMBINATORICS, 2010, 17 (01):
  • [5] The theory of calculus for calculus teachers
    Luis Moreno-Armella
    [J]. ZDM – Mathematics Education, 2021, 53 : 621 - 633
  • [6] Ito calculus and Malliavin calculus
    Watanabe, Shinzo
    [J]. STOCHASTIC ANALYSIS AND APPLICATIONS, 2007, 2 : 623 - 639
  • [7] A calculus of lambda calculus contexts
    Bognar, M
    De Vrijer, R
    [J]. JOURNAL OF AUTOMATED REASONING, 2001, 27 (01) : 29 - 59
  • [8] URINARY CALCULUS AND SALIVARY CALCULUS
    SCOPP, IW
    MORGAN, FH
    DOONER, JJ
    [J]. JOURNAL OF PERIODONTOLOGY, 1966, 37 (02) : 156 - &
  • [9] SOERGEL CALCULUS AND SCHUBERT CALCULUS
    He, Xuhua
    Williamson, Geordie
    [J]. BULLETIN OF THE INSTITUTE OF MATHEMATICS ACADEMIA SINICA NEW SERIES, 2018, 13 (03): : 317 - 350
  • [10] Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus
    Waszek, David
    Schlimm, Dirk
    [J]. SYNTHESE, 2021, 199 (5-6) : 11913 - 11943
12345