COMBINATORY-LOGIC OR STANDARD THEORY OF SETS

被引：0

|

作者：

PENA, L ^{[1
]}

机构：

[1] CSIC,INST PHILOSOPHY,MADRID 6,SPAIN

来源：

ARBOR-CIENCIA PENSAMIENTO Y CULTURA | 1989年 / 132卷 / 520期

关键词：

D O I：

暂无

中图分类号：

C [社会科学总论];

学科分类号：

03 ; 0303 ;

摘要：

引用

收藏

页码：33 / 73

页数：41

相关论文

共 50 条

[1] EXTENSION OF COMBINATORY-LOGIC TO A THEORY OF COMBINATORY REPRESENTATION
WEIBEL, T
THEORETICAL COMPUTER SCIENCE, 1992, 97 (01) : 157 - 173
[2] COMBINATORY-LOGIC AND WHITEHEAD THEORY OF PREHENSIONS
FITCH, FB
PHILOSOPHY OF SCIENCE, 1957, 24 (04) : 331 - 335
[3] COMBINATORY-LOGIC AND WHITEHEADS THEORY OF PREHENSIONS
FITCH, FB
JOURNAL OF PHILOSOPHY, 1957, 54 (06): : 142 - 143
[4] CATEGORICAL COMBINATORY-LOGIC
CURIEN, PL
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 194 : 130 - 139
[5] INTERSECTION TYPES FOR COMBINATORY-LOGIC
DEZANICIANCAGLINI, M
HINDLEY, JR
THEORETICAL COMPUTER SCIENCE, 1992, 100 (02) : 303 - 324
[6] TYPED CATEGORICAL COMBINATORY-LOGIC
CURIEN, PL
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 157 - 172
[7] A BASIS RESULT IN COMBINATORY-LOGIC
LEGRAND, R
JOURNAL OF SYMBOLIC LOGIC, 1988, 53 (04) : 1224 - 1226
[8] OTTER EXPERIMENTS IN A SYSTEM OF COMBINATORY-LOGIC
JECH, T
JOURNAL OF AUTOMATED REASONING, 1995, 14 (03) : 413 - 426
[9] A COMPOSITIVE ABSTRACTION ALGORITHM FOR COMBINATORY-LOGIC
PIPERNO, A
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 250 : 39 - 51
[10] COMBINATORY-LOGIC AS THE 1ST-ORDER MATHEMATICAL-THEORY
JIANG, MD
WEN, H
CHINESE SCIENCE BULLETIN, 1989, 34 (24): : 2079 - 2083

← 1 2 3 4 5 →