Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories
复制标题
计算语义的一些基本代数工具:第 3 部分:索引类别
DOI:
--
复制
发表时间:
1991
影响因子:
1.1
通讯作者:
J. Goguen
中科院分区:
文献类型:
--
作者:
A. Tarlecki;R. Burstall;J. Goguen