Combinatory logic, language, and cognitive representations

被引：0
|
作者：
Desclés, JP [1 ]
机构：
[1] ISHA, Ecole Doctorale Sc Langage, F-75006 Paris, France
来源：
ALTERNATIVE LOGICS: DO SCIENCES NEED THEM? | 2004年
关键词：
D O I：
暂无
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
引用
收藏
页码：115 / 148
页数：34
相关论文
共 50 条
  • [21] Typing in reflective combinatory logic
    Krupski, Nikolai
    ANNALS OF PURE AND APPLIED LOGIC, 2006, 141 (1-2) : 243 - 256
  • [22] COMPLEXITY OF REDUCTION IN COMBINATORY LOGIC
    CANAL, R
    RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1978, 12 (04): : 339 - 367
  • [23] CATEGORICAL COMBINATORY-LOGIC
    CURIEN, PL
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 194 : 130 - 139
  • [24] ABSTRACTION ALGORITHM FOR COMBINATORY LOGIC
    ABDALI, SK
    JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 222 - 224
  • [25] The axiom of choice and combinatory logic
    Cantini, A
    JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (04) : 1091 - 1108
  • [26] On the likelihood of normalization in combinatory logic
    Bendkowski, Maciej
    Grygiel, Katarzyna
    Zaionc, Marek
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (07) : 2251 - 2269
  • [27] Asymptotic Properties of Combinatory Logic
    Bendkowski, Maciej
    Grygiel, Katarzyna
    Zaionc, Marek
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2015), 2015, 9076 : 62 - 72
  • [28] Semantics for Combinatory Logic With Intersection Types
    Ghilezan, Silvia
    Kasterovic, Simona
    FRONTIERS IN COMPUTER SCIENCE, 2022, 4
  • [29] SOME INCONSISTENCIES IN ILLATIVE COMBINATORY LOGIC
    BUNDER, MW
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1974, 20 (03): : 199 - 201
  • [30] INTERSECTION TYPES FOR COMBINATORY-LOGIC
    DEZANICIANCAGLINI, M
    HINDLEY, JR
    THEORETICAL COMPUTER SCIENCE, 1992, 100 (02) : 303 - 324
12345