Combinatory logic for autonomous molecular computation

被引：0
作者：
MacLennan, BJ [1 ]
机构：
[1] Univ Tennessee, Dept Comp Sci, Knoxville, TN 37996 USA
来源：
PROCEEDINGS OF THE 7TH JOINT CONFERENCE ON INFORMATION SCIENCES | 2003年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：1484 / 1487
页数：4
相关论文
共 50 条
[31]   INTERSECTION TYPES FOR COMBINATORY-LOGIC [J].
DEZANICIANCAGLINI, M ;
HINDLEY, JR .
THEORETICAL COMPUTER SCIENCE, 1992, 100 (02) :303-324
[32]   SOME INCONSISTENCIES IN ILLATIVE COMBINATORY LOGIC [J].
BUNDER, MW .
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1974, 20 (03) :199-201
[33]   Compact bracket abstraction in combinatory logic [J].
Broda, S ;
Damas, L .
JOURNAL OF SYMBOLIC LOGIC, 1997, 62 (03) :729-740
[34]   ELEMENTS OF COMBINATORY LOGIC - FITCH,FB [J].
KIELKOPK, CF .
REVIEW OF METAPHYSICS, 1975, 28 (03) :552-553
[35]   Combinatory logic, language, and cognitive representations [J].
Desclés, JP .
ALTERNATIVE LOGICS: DO SCIENCES NEED THEM?, 2004, :115-148
[36]   Finite Combinatory Logic with Intersection Types [J].
Rehof, Jakob ;
Urzyczyn, Pawel .
TYPED LAMBDA CALCULI AND APPLICATIONS, (TLCA 2011), 2011, 6690 :169-183
[37]   Combinatory logic - French - Ginisti,JP [J].
Gardies, JL .
REVUE PHILOSOPHIQUE DE LA FRANCE ET DE L ETRANGER, 1997, 122 (03) :355-355
[38]   CONSISTENCY NOTIONS IN ILLATIVE COMBINATORY LOGIC [J].
BUNDER, MW .
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (04) :527-529
[39]   REDUCIBILITIES IN 2 MODELS FOR COMBINATORY LOGIC [J].
SANCHIS, LE .
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (02) :221-234
[40]   AXIOMS FOR STRONG REDUCTION IN COMBINATORY LOGIC [J].
HINDLEY, R .
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (02) :224-&
12345