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