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 条

[31] A WEAK ABSOLUTE CONSISTENCY PROOF FOR SOME SYSTEMS OF ILLATIVE COMBINATORY-LOGIC
BUNDER, MW
JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (03) : 771 - 776
[32] A COMBINATORY-LOGIC APPROACH TO HIGHER-ORDER E-UNIFICATION
DOUGHERTY, DJ
JOHANN, P
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 79 - 93
[33] SOME CONSISTENCY PROOFS AND A CHARACTERIZATION OF INCONSISTENCY PROOFS IN ILLATIVE COMBINATORY-LOGIC
BUNDER, MW
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 89 - 110
[34] ON PSEUDO-C-BETA NORMAL-FORM IN COMBINATORY-LOGIC
MEZGHICHE, M
THEORETICAL COMPUTER SCIENCE, 1989, 66 (03) : 323 - 331
[35] CALL-BY-VALUE COMBINATORY-LOGIC AND THE LAMBDA-VALUE CALCULUS
GATELEY, J
DUBA, BF
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 598 : 41 - 53
[36] BETA-STRONG REDUCTION IN COMBINATORY-LOGIC - PRELIMINARY-REPORT
CURRY, HB
HINDLEY, R
SELDIN, JP
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 688 - 688
[37] ON COMBINATORY-LOGIC ESSENCE OF FUNCTION-PI AND FUNCTION-MU IN FFP
JIANG, MD
KEXUE TONGBAO, 1988, 33 (03): : 246 - 250
[38] SYSTEMS OF COMBINATORY-LOGIC RELATED TO PREDICATIVE AND MILDLY IMPREDICATIVE FRAGMENTS OF QUINE NEW FOUNDATIONS
HOLMES, MR
ANNALS OF PURE AND APPLIED LOGIC, 1993, 59 (01) : 45 - 53
[39] DATA-PROCESSING SPACES, THEIR EXISTENCE, THEIR RELATIONS WITH COMBINATORY-LOGIC AND LAMBDA-CALCULUS
LEBERRE, F
NOLIN, L
REVUE TECHNIQUE THOMSON-CSF, 1981, 13 (03): : 599 - 633
[40] SYSTEMS OF ILLATIVE COMBINATORY-LOGIC COMPLETE FOR 1ST-ORDER PROPOSITIONAL AND PREDICATE CALCULUS
BARENDREGT, H
BUNDER, M
DEKKERS, W
JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (03) : 769 - 788

← 1 2 3 4 5 →