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 条

[1] EASY LAMBDA-TERMS ARE NOT ALWAYS SIMPLE
Carraro, Alberto
Salibra, Antonino
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2012, 46 (02): : 291 - 314
[2] SOME NEW RESULTS ON EASY LAMBDA-TERMS
BERARDUCCI, A
INTRIGILA, B
THEORETICAL COMPUTER SCIENCE, 1993, 121 (1-2) : 71 - 88
[3] FUNCTIONAL CHARACTERS OF SOLVABLE LAMBDA-TERMS
COPPO, M
DEZANICIANCAGLINI, M
JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (02) : 388 - 389
[4] A characterization of lambda-terms transforming numerals
Parys, Pawel
JOURNAL OF FUNCTIONAL PROGRAMMING, 2016, 26 : 1 - 36
[5] Pruning simply typed lambda-terms
Berardi, S
JOURNAL OF LOGIC AND COMPUTATION, 1996, 6 (05) : 663 - 681
[6] Enumeration of generalized BCI lambda-terms
Bodini, Olivier
Gardy, Daniele
Gittenberger, Bernhard
Jacquot, Alice
ELECTRONIC JOURNAL OF COMBINATORICS, 2013, 20 (04):
[7] FUNCTIONS DEFINABLE BY TYPED LAMBDA-TERMS
SCHWICHT.H
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (07): : A642 - A642
[8] Linear lambda-terms and natural deduction
Mints G.
Studia Logica, 1998, 60 (1) : 209 - 231
[9] AN EQUIVALENCE RELATIONSHIP BETWEEN LAMBDA-TERMS
REGNIER, L
THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) : 281 - 292
[10] ENUMERATORS OF LAMBDA-TERMS ARE REDUCING CONSTRUCTIVELY
BARENDREGT, H
ANNALS OF PURE AND APPLIED LOGIC, 1995, 73 (01) : 3 - 9

← 1 2 3 4 5 →