Institutional 2-cells and Grothendieck Institutions
Institutional 2-cells and Grothendieck Institutions
复制标题
机构 2-cells 和格洛腾迪克机构
DOI：
10.1007/11780274_7
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Till Mossakowski
中科院分区：
文献类型：
--
作者：
Till Mossakowski
我们建议使用Grothendieck机构的基础上2-分类图作为基础的异构规范。我们证明了一些结果的colimits和（一些弱变种）的正确性。这个框架也可以用于获得证明系统的异构理论，涉及机构半态射。
We propose to use Grothendieck institutions based on 2-categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (some weak variants of) exactness. This framework can also be used for obtaining proof systems for heterogeneous theories involving institution semi-morphisms.
登录
查看更多内容
DOI：
--
发表时间：
1983
期刊：
Logic of Programs
影响因子：
--
作者：
J. Goguen;R. Burstall
通讯作者：
R. Burstall
计算语义的一些基本代数工具：第 3 部分：索引类别
影响因子：
1.1
作者：
A. Tarlecki;R. Burstall;J. Goguen
通讯作者：
J. Goguen
DOI：
10.1016/0890-5401(88)90008-9
发表时间：
1988
期刊：
Inf. Comput.
影响因子：
--
作者：
D. Sannella;A. Tarlecki
通讯作者：
A. Tarlecki
CoCasl 中的代数-代数规范
DOI：
10.1016/j.jlap.2005.09.006
发表时间：
2003
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
作者：
Till Mossakowski;Horst Reichel;Markus Roggenbach;Lutz Schröder
通讯作者：
Lutz Schröder
范畴论和计算机编程
DOI：
--
发表时间：
1986
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
S. Abramsky
通讯作者：
S. Abramsky