FEEDBACK AND GENERALIZED LOGIC

被引：10

作者：

BAINBRIDGE, ES ^{[1
]}

机构：

[1] UNIV OTTAWA,DEPT MATH,OTTAWA K1N 6N5,ONTARIO,CANADA

来源：

INFORMATION AND CONTROL | 1976年 / 31卷 / 01期

关键词：

D O I：

10.1016/S0019-9958(76)90390-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：75 / 96

页数：22

共 10 条

[1]

Bainbridge E. S., 1975, Category Theory Applied to Computation and Control, P93

[2]

BAINBRIDGE ES, 1972, THESIS U MICHIGAN

[3]

COHN PM, 1965, UNIVERSAL ALGEBRA

[4]

EILENBERG S, 1971, AUTOMATA LANGUAGES M

[5]

Lawvere F.W., 1973, REND SEM MAT FIS, V43, p[135, 1974]

[6]

Lawvere F-W., 1969, DIALECTICA, V23, P281, DOI 10.1111/j.1746-8361.1969.tb01194.x

[7]

LAWVERE FW, 1973, P S PURE MATH, V17, P1

[8]

Mac Lane S., 1971, CATEGORIES WORKING M, V5

[9]

Meseguer J., 1975, Category Theory Applied to Computation and Control, P193

[10]

STREET RH, 1974, LECTURE NOTES MATHEM, P134