约瑟夫·戈根;格里高·罗什乌 制度形态。 （英文） Zbl 1001.68019号 正式Asp。计算。 13，编号3-5274-307（2002）. 引用于50文件 MSC公司： 68N17号 逻辑编程 03C95号 抽象模型理论 03G30型 分类逻辑，拓扑 18A40型 伴随函子（泛结构、反射子范畴、Kan扩张等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 第68季度第65季度 抽象数据类型；代数规范 关键词：抽象模型理论;范畴理论;机构;Kan扩展;逻辑;规范 软件：OBJ3型;CASL公司;OBJ咖啡馆 PDF格式BibTeX公司 XML格式引用 \textit{J.Goguen}和\textit{G.Rošu}，正式Asp。计算。13、编号3--5、274--307（2002；Zbl 1001.68019） 全文： 内政部