| 摘要: |
| 本文在一些相当直观的条件下建立了Ｉｎｓｔｉｔｕｔｉｏｎ中合并理论与各因子理论的初始（终结）语义之间的对应关系． |
| 关键词: 程序系统 程序语言 模型论 范畴论 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家863高技术研究发展计划基金资助. |
|
| INITIAL AND TERMINAL SEMANTICS FOR GLUED THEORIES IN INSTITUTIONS |
|
Ying Mingsheng
|
| Abstract: |
| In this paper, the correspondence among initial(terminal) semantics of gluedtheories and factor theories in institutions is clarified under certain intuitive conditions. |
| Key words: Programming system programming language model theory categorytheory. |
