COMBINATORY-LOGIC AND WHITEHEADS THEORY OF PREHENSIONS

被引：0

|

作者：

FITCH, FB

机构：

来源：

JOURNAL OF PHILOSOPHY | 1957年 / 54卷 / 06期

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：142 / 143

页数：2

相关论文

共 50 条

[1] COMBINATORY-LOGIC AND WHITEHEAD THEORY OF PREHENSIONS
FITCH, FB
PHILOSOPHY OF SCIENCE, 1957, 24 (04) : 331 - 335
[2] EXTENSION OF COMBINATORY-LOGIC TO A THEORY OF COMBINATORY REPRESENTATION
WEIBEL, T
THEORETICAL COMPUTER SCIENCE, 1992, 97 (01) : 157 - 173
[3] COMBINATORY-LOGIC OR STANDARD THEORY OF SETS
PENA, L
ARBOR-CIENCIA PENSAMIENTO Y CULTURA, 1989, 132 (520) : 33 - 73
[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 →