An encoding of the λ-calculus in the String MultiSetRewriting calculus

被引：0
|
作者：
Bagossy, Attila [1 ]
Battyanyi, Peter [1 ]
机构：
[1] Univ Debrecen, Fac Informat, Dept Comp Sci, Debrecen, Hungary
来源：
ACTA INFORMATICA | 2024年 / 61卷 / 02期
关键词：
D O I：
10.1007/s00236-024-00456-w
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we present an encoding of the lambda-calculus in a multiset rewriting system andprovide a few applications of the construction. For this purpose, we choose the calculusnamed String MultiSet Rewriting, which was introduced in Barbuti et al. (Electron NotesTheor Comput Sci 194:19-34, 2008) by Barbuti et al. With the help of our encoding, we givealternative proofs for the standardization and the finiteness of developments theorems in the lambda-calculus.
引用
收藏
页码：161 / 181
页数：21
相关论文
共 50 条
  • [1] CARTAN CALCULUS IN STRING TOPOLOGY
    Naito, Takahito
    [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2024, 152 (04) : 1789 - 1801
  • [2] A Logical Encoding of Timed π-Calculus
    Saeedloei, Neda
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2013, 2014, 8901 : 164 - 182
  • [3] Encoding mobile ambients into the π-calculus
    Ciobanu, Gabriel
    Zakharov, Vladimir A.
    [J]. PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 148 - 165
  • [4] Encoding CDuce in the Cπ-calculus
    Castagna, Giuseppe
    Dezani-Cianaglini, Mariangiola
    Varacca, Daniele
    [J]. CONCUR 2006 - CONCURRENCY THEORY, PROCEEDINGS, 2006, 4137 : 310 - 326
  • [5] Covariant calculus for effective string theories
    Dass, N. D. Hari
    Matlock, Peter
    [J]. INDIAN JOURNAL OF PHYSICS, 2014, 88 (09) : 965 - 977
  • [6] ITOS STOCHASTIC CALCULUS AND THE BOSONIC STRING
    PICKEN, RF
    WEBB, JN
    [J]. ZEITSCHRIFT FUR PHYSIK C-PARTICLES AND FIELDS, 1989, 44 (02): : 325 - 329
  • [7] Covariant calculus for effective string theories
    N D Hari Dass
    [J]. Indian Journal of Physics, 2014, 88 : 965 - 977
  • [8] Graphical encoding of a spatial logic for the π-calculus
    Gadducci, Fabio
    Lafuente, Alberto Lluch
    [J]. ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2007, 4624 : 209 - 225
  • [9] On the expressiveness of π-calculus for encoding mobile ambients
    Brodo, Linda
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2018, 28 (02) : 202 - 240
  • [10] A randomized encoding of the π-calculus with mixed choice
    Palamidessi, C
    Herescu, OM
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 335 (2-3) : 373 - 404
12345