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 条
  • [31] Evaluating lambda terms with traversals
    Blum, William
    THEORETICAL COMPUTER SCIENCE, 2020, 802 : 77 - 104
  • [32] On counting untyped lambda terms
    Lescanne, Pierre
    THEORETICAL COMPUTER SCIENCE, 2013, 474 : 80 - 97
  • [33] Lambda terms definable as combinators
    Bunder, MW
    THEORETICAL COMPUTER SCIENCE, 1996, 169 (01) : 3 - 21
  • [34] Counting and generating lambda terms
    Grygiel, Katarzyna
    Lescanne, Pierre
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2013, 23 (05) : 594 - 628
  • [35] Statistical properties of lambda terms
    Bendkowski, Maciej
    Bodini, Olivier
    Dovgal, Sergey
    ELECTRONIC JOURNAL OF COMBINATORICS, 2019, 26 (04):
  • [36] Tradeoffs in the intensional representation of lambda terms
    Liang, C
    Nadathur, G
    REWRITING TECHNIQUES AND APPLICATIONS, 2002, 2378 : 192 - 206
  • [37] A notation for lambda terms - A generalization of environments
    Nadathur, G
    Wilson, DS
    THEORETICAL COMPUTER SCIENCE, 1998, 198 (1-2) : 49 - 98
  • [38] INVERTIBLE TERMS IN THE LAMBDA-CALCULUS
    BERGSTRA, J
    KLOP, JW
    THEORETICAL COMPUTER SCIENCE, 1980, 11 (01) : 19 - 37
  • [39] Social inclusion in terms of hospitality
    Marci, Tito
    INTERNATIONAL REVIEW OF SOCIOLOGY-REVUE INTERNATIONALE DE SOCIOLOGIE, 2013, 23 (01): : 180 - 199
  • [40] BOOLEAN ALGEBRA IN TERMS OF INCLUSION
    BYRNE, L
    AMERICAN JOURNAL OF MATHEMATICS, 1948, 70 (01) : 139 - 143
12345