EASY TERMS - INCLUSION PROBLEMS AMONG CLASSES OF LAMBDA-TERMS

被引：0

|

作者：

JACOPINI, G

ZILLI, MV

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：693 / 693

页数：1

相关论文

共 50 条

[21] BCK-COMBINATORS AND LINEAR LAMBDA-TERMS HAVE TYPES
HINDLEY, JR
THEORETICAL COMPUTER SCIENCE, 1989, 64 (01) : 97 - 105
[22] Bohm trees, Krivine's machine and the Taylor expansion of lambda-terms
Ehrhard, Thomas
Regnier, Laurent
LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS, 2006, 3988 : 186 - 197
[23] Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms
Takeda, Kotaro
Kobayashi, Naoki
Yaguchi, Kazuya
Shinohara, Ayumi
ACM SIGPLAN NOTICES, 2016, 51 (09) : 146 - 157
[24] PROVING PROPERTIES OF TYPED LAMBDA-TERMS USING REALIZABILITY, COVERS, AND SHEAVES
GALLIER, J
THEORETICAL COMPUTER SCIENCE, 1995, 142 (02) : 299 - 368
[25] Graph easy sets of mute lambda terms
Bucciarelli, A.
Carraro, A.
Favro, G.
Salibra, A.
THEORETICAL COMPUTER SCIENCE, 2016, 629 : 51 - 63
[26] SIMPLY TYPED CONVERTIBILITY IS TOWER-COMPLETE EVEN FOR SAFE LAMBDA-TERMS
Nguyen, Le Thanh Dung
LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (03)
[27] TABLEAU-BASED THEOREM-PROVING AND SYNTHESIS OF LAMBDA-TERMS IN THE INTUITIONISTIC LOGIC
BITTEL, O
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 262 - 278
[28] BETA-REDUCTIONS AND BETA-DEVELOPMENTS OF LAMBDA-TERMS WITH THE LEAST NUMBER OF STEPS
KHASIDASHVILI, ZO
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 417 : 105 - 111
[29] Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels
Gittenberger, Bernhard
Larcher, Isabella
ELECTRONIC JOURNAL OF COMBINATORICS, 2019, 26 (04):
[30] Computing with lambda-terms: A special issue dedicated to Corrado Bohm for his 90th birthday
Guerrini, Stefano
Barendrengt, Henk
Piperno, Adolfo
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017, 27 (05) : 557 - 559

← 1 2 3 4 5 →