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 条

[41] Solution to the Range Problem for Combinatory Logic
Intrigila, Benedetto
Statman, Richard
FUNDAMENTA INFORMATICAE, 2011, 111 (02) : 203 - 222
[42] TYPED CATEGORICAL COMBINATORY-LOGIC
CURIEN, PL
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 157 - 172
[43] A BASIS RESULT IN COMBINATORY-LOGIC
LEGRAND, R
JOURNAL OF SYMBOLIC LOGIC, 1988, 53 (04) : 1224 - 1226
[44] Combinatory logic and the semantics of substructural logics
Goble L.
Studia Logica, 2007, 85 (2) : 171 - 197
[45] Clones, closed categories, and combinatory logic
Saville, Philip
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PT II, FOSSACS 2024, 2024, 14575 : 160 - 181
[46] OTTER experiments in a system of combinatory logic
1600, Kluwer Academic Publishers, Dordrecht, Netherlands (14):
[47] Language and embodiment-Or the cognitive benefits of abstract representations
Kompa, Nikola A.
MIND & LANGUAGE, 2021, 36 (01) : 27 - 47
[48] Consistency and axiomatization of a natural extensional combinatory logic
Sci China Ser A, 9 (897):
[49] Consistency and axiomatization of a natural extensional combinatory logic
蒋颖
Science China Mathematics, 1996, (09) : 897 - 908
[50] OTTER EXPERIMENTS IN A SYSTEM OF COMBINATORY-LOGIC
JECH, T
JOURNAL OF AUTOMATED REASONING, 1995, 14 (03) : 413 - 426

← 1 2 3 4 5 →