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 条
[41]   The lambda calculus is algebraic [J].
Selinger, P .
JOURNAL OF FUNCTIONAL PROGRAMMING, 2002, 12 :549-566
[42]   On the lambda Y calculus [J].
Statman, R .
17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, :159-166
[43]   A Simpler Lambda Calculus [J].
Jay, Barry .
PROCEEDINGS OF THE 2019 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM '19), 2019, :1-9
[44]   An Introduction to the Lambda Calculus [J].
Csoernyei, Zoltan ;
Devai, Gergely .
CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, 2008, 5161 :87-111
[45]   A lambda calculus with forms [J].
Lumpe, M .
SOFTWARE COMPOSITION, 2005, 3628 :83-98
[46]   MODELS OF THE LAMBDA CALCULUS [J].
KOYMANS, CPJ .
INFORMATION AND CONTROL, 1982, 52 (03) :306-332
[47]   Graphic Lambda Calculus [J].
Buliga, Marius .
COMPLEX SYSTEMS, 2013, 22 (04) :311-360
[48]   Godelization in the lambda calculus [J].
Goldberg, M .
INFORMATION PROCESSING LETTERS, 2000, 75 (1-2) :13-16
[49]   The safe lambda calculus [J].
Blum, William ;
Ong, C. -H. Luke .
TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2007, 4583 :39-+
[50]   The intensional lambda calculus [J].
Artemov, Sergei ;
Bonelli, Eduardo .
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 :12-+
12345