Term Rewriting and Lambda Calculus

被引：0
作者：
Klop, Jan Willem [1 ]
机构：
[1] Vrije Univ Amsterdam, Amsterdam, Netherlands
来源：
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS) | 2012年
关键词：
D O I：
10.1109/LICS.2012.12
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：12 / 12
页数：1
相关论文
共 50 条
[21]   A calculus of lambda calculus contexts [J].
Bognar, M ;
De Vrijer, R .
JOURNAL OF AUTOMATED REASONING, 2001, 27 (01) :29-59
[22]   Exceptions in the rewriting calculus [J].
Faure, G ;
Kirchner, C .
REWRITING TECHNIQUES AND APPLICATIONS, 2002, 2378 :66-82
[23]   Graph rewriting for the π-calculus [J].
Gadducci, Fabio .
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2007, 17 (03) :407-437
[24]   An encoding of the λ-calculus in the String MultiSet Rewriting calculus [J].
Bagossy, Attila ;
Battyanyi, Peter .
ACTA INFORMATICA, 2024, 61 (02) :161-181
[25]   The rewriting calculus as a semantics of ELAN [J].
Cirstea, H ;
Kirchner, C .
ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1998, 1538 :84-85
[26]   Logical Semantics for the Rewriting Calculus [J].
Stump, Aaron ;
Schuermann, Carsten .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 125 (02) :149-164
[27]   Definitions by rewriting in the calculus of constructions [J].
Blanqui, F .
16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, :9-18
[28]   iRho: an imperative rewriting calculus [J].
Liquori, Luigi ;
Serpette, Bernard Paul .
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2008, 18 (03) :467-500
[29]   On the confluence of λ-calculus with conditional rewriting [J].
Blanqui, F ;
Kirchner, C ;
Riba, C .
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 :382-397
[30]   Termination of rewriting in the Calculus of Constructions [J].
Walukiewicz-Chrzaszcz, D .
JOURNAL OF FUNCTIONAL PROGRAMMING, 2003, 13 :339-414
12345