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 条

[21] THE MIXED LAMBDA-CALCULUS AND COMBINATORY-LOGIC (AN OVERVIEW)
NIELSON, HR
NIELSON, F
COMPUTING AND INFORMATION, 1989, : 39 - 45
[22] SYSTEMS OF COMBINATORY-LOGIC RELATED TO QUINES NEW FOUNDATIONS
HOLMES, MR
ANNALS OF PURE AND APPLIED LOGIC, 1991, 53 (02) : 103 - 133
[23] CONSTRUCTIVE SET-THEORETIC MODELS OF TYPED COMBINATORY-LOGIC
KNOBEL, A
JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (01) : 99 - 118
[24] COMBINATORY-LOGIC, VOL 1 - CURRY,HB, FEYS,R
PARSONS, CD
PHILOSOPHICAL REVIEW, 1959, 68 (04): : 548 - 550
[25] A COMBINATORY-LOGIC APPROACH TO HIGHER-ORDER E-UNIFICATION
DOUGHERTY, DJ
JOHANN, P
THEORETICAL COMPUTER SCIENCE, 1995, 139 (1-2) : 207 - 242
[26] COMBINATORY-LOGIC AS THE 1ST-ORDER MATHEMATICAL-THEORY
JIANG, MD
WEN, H
CHINESE SCIENCE BULLETIN, 1989, 34 (24): : 2079 - 2083
[27] A WEAK ABSOLUTE CONSISTENCY PROOF FOR SOME SYSTEMS OF ILLATIVE COMBINATORY-LOGIC
BUNDER, MW
JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (03) : 771 - 776
[28] A COMBINATORY-LOGIC APPROACH TO HIGHER-ORDER E-UNIFICATION
DOUGHERTY, DJ
JOHANN, P
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 79 - 93
[29] SOME CONSISTENCY PROOFS AND A CHARACTERIZATION OF INCONSISTENCY PROOFS IN ILLATIVE COMBINATORY-LOGIC
BUNDER, MW
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 89 - 110
[30] ON PSEUDO-C-BETA NORMAL-FORM IN COMBINATORY-LOGIC
MEZGHICHE, M
THEORETICAL COMPUTER SCIENCE, 1989, 66 (03) : 323 - 331

← 1 2 3 4 5 →