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 条
[31]   A Rewriting Calculus for Multigraphs with Ports [J].
Andrei, Oana ;
Kirchner, Helene .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 219 :67-82
[32]   Definitions by rewriting in the calculus of constructions [J].
Blanqui, F .
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2005, 15 (01) :37-92
[33]   Lambda calculus with patterns [J].
Klop, Jan Willem ;
van Oostrom, Vincent ;
de Vrijer, Roel .
THEORETICAL COMPUTER SCIENCE, 2008, 398 (1-3) :16-31
[34]   The dagger lambda calculus [J].
Atzemoglou, Philip .
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (172) :217-235
[35]   A Braided Lambda Calculus [J].
Hasegawa, Masahito .
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (353) :94-108
[36]   Clocked lambda calculus [J].
Endrullis, Jorg ;
Hendriks, Dimitri ;
Klop, Jan Willem ;
Polonsky, Andrew .
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017, 27 (05) :782-806
[37]   Lambda Calculus With Types [J].
Rezus, Adrian .
STUDIA LOGICA, 2015, 103 (06) :1319-1326
[38]   The algebraic lambda calculus [J].
Vaux, Lionel .
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009, 19 (05) :1029-1059
[39]   Objects and their lambda calculus [J].
Tzouvaras, A .
THEORETICAL COMPUTER SCIENCE, 2001, 258 (1-2) :209-232
[40]   The lambda calculus is algebraic [J].
Selinger, P .
JOURNAL OF FUNCTIONAL PROGRAMMING, 2002, 12 :549-566
12345