An encoding of the λ-calculus in the String MultiSet Rewriting calculus

被引：0

作者：

Bagossy, Attila ^{[1
]}

Battyanyi, Peter ^{[1
]}

机构：

[1] Univ Debrecen, Fac Informat, Dept Comp Sci, Debrecen, Hungary

来源：

ACTA INFORMATICA | 2024年 / 61卷 / 02期

关键词：

Computational mechanics - Differentiation (calculus) - Encoding (symbols);

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

共 21 条

[1]

Amadio R., 1998, CAMBRIDGE TRACTS THE, V46, DOI DOI 10.1017/CBO9780511983504

[2] Principles of Chemical Programming [J].

Banatre, Jean-Pierre ;

Fradet, Pascal ;

Radenac, Yann .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 124 (01) :133-147

[3]

Barbuti R, 2006, FUND INFORM, V72, P21

[4] An Intermediate Language for the Simulation of Biological Systems [J].

Barbuti, Roberto ;

Caravagna, Giulio ;

Maggiolo-Schettini, Andrea ;

Milazzo, Paolo .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 194 (03) :19-34

[5]

Barendregt Hendrik Pieter, 1985, Studies in logic and the foundations of mathematics, V103

[6] AN ESTIMATION FOR THE LENGTHS OF REDUCTION SEQUENCES OF THE λμρθ-CALCULUS [J].

Battyanyi, Peter ;

Nour, Karim .

LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (02)

[7]

Boudol G., 1999, Mathematical Structures in Computer Science, V9, P437, DOI 10.1017/S0960129599002893

[8]

Cardelli L., 2005, LECT NOTES COMPUTER, V3082

[9]

Cervesato I., 1994, PETRI NETS MUL UNPUB

[10]

Ciobanu G, 2015, COMPLEX INTELL SYST, V1, P69, DOI 10.1007/s40747-015-0003-3

← 1 2 3 →