A BASIS RESULT IN COMBINATORY-LOGIC

被引：0

|

作者：

LEGRAND, R

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1988年 / 53卷 / 04期

关键词：

D O I：

10.2307/2274616

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1224 / 1226

页数：3

相关论文

共 50 条

[1] CATEGORICAL COMBINATORY-LOGIC
CURIEN, PL
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 194 : 130 - 139
[2] EXTENSION OF COMBINATORY-LOGIC TO A THEORY OF COMBINATORY REPRESENTATION
WEIBEL, T
THEORETICAL COMPUTER SCIENCE, 1992, 97 (01) : 157 - 173
[3] INTERSECTION TYPES FOR COMBINATORY-LOGIC
DEZANICIANCAGLINI, M
HINDLEY, JR
THEORETICAL COMPUTER SCIENCE, 1992, 100 (02) : 303 - 324
[4] TYPED CATEGORICAL COMBINATORY-LOGIC
CURIEN, PL
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 157 - 172
[5] OTTER EXPERIMENTS IN A SYSTEM OF COMBINATORY-LOGIC
JECH, T
JOURNAL OF AUTOMATED REASONING, 1995, 14 (03) : 413 - 426
[6] COMBINATORY-LOGIC OR STANDARD THEORY OF SETS
PENA, L
ARBOR-CIENCIA PENSAMIENTO Y CULTURA, 1989, 132 (520) : 33 - 73
[7] A COMPOSITIVE ABSTRACTION ALGORITHM FOR COMBINATORY-LOGIC
PIPERNO, A
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 250 : 39 - 51
[8] COMBINATORY-LOGIC AND WHITEHEAD THEORY OF PREHENSIONS
FITCH, FB
PHILOSOPHY OF SCIENCE, 1957, 24 (04) : 331 - 335
[9] A CONSISTENT COMBINATORY-LOGIC WITH AN INVERSE TO EQUALITY
FITCH, FB
JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (03) : 529 - 543
[10] DESCRIPTIONS AND NEGATIVE NUMBERS IN COMBINATORY-LOGIC
FITCH, FB
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 430 - 430

← 1 2 3 4 5 →