RECURSION AND ITERATION IN CONTINUOUS THEORIES - THE M-CONSTRUCTION

被引：10

作者：

BLOOM, SL ^{[1
]}

THATCHER, JW ^{[1
]}

WAGNER, EG ^{[1
]}

WRIGHT, JB ^{[1
]}

机构：

[1] IBM CORP,THOMAS J WATSON RES CTR,YORKTOWN HTS,NY 10598

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1983年 / 27卷 / 02期

关键词：

D O I：

10.1016/0022-0000(83)90037-5

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 [计算机科学与技术];

摘要：

引用

收藏

页码：148 / 164

页数：17

相关论文

共 17 条

[1]

VARIETIES OF ORDERED ALGEBRAS [J].

BLOOM, SL .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 13 (02) :200-212

[2]

SCALAR AND VECTOR ITERATION [J].

BLOOM, SL ;

GINALI, S ;

RUTLEDGE, JD .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 14 (02) :251-256

[3]

EXISTENCE AND CONSTRUCTION OF FREE ITERATIVE THEORIES [J].

BLOOM, SL ;

ELGOT, CC .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 12 (03) :305-318

[4]

BLOOM SL, SIAM J COMPUT, V9, P25

[5]

BLOOM SL, 1980, SIAM J COMPUT, P525

[6]

COHN PM, 1965, UNIVERSAL ALGEBRA

[7]

ELGOT CC, 1973, IBM RC4564 RES REP

[8]

ELGOT CC, 1975, 1973 P LOG C BRIST N, P175

[9]

INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J].

GOGUEN, JA ;

THATCHER, JW ;

WAGNER, EG ;

WRIGHT, JB .

JOURNAL OF THE ACM, 1977, 24 (01) :68-95

[10]

FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES [J].

LAWVERE, FW .

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1963, 50 (05) :869-&