程序规范说明相关论文
主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2)......
本文在一些相当直观的条件下建立了Ｉｎｓｔｉｔｕｔｉｏｎ中合并理论与各因子理论的初台语义之间的对应关系。......
在一般性的适用框架Ｉｎｓｔｉｔｕｔｉｏｎ中，建立了自由合并理论与各因子理论的初始（终结）语义之间的对应关系，给出了自由理论态射的粘合态射及其相关的初始......
在一般的逻辑框架Ｉｎｓｔｉｔｕｔｉｏｎ中，研究了理论与模型的一些性质，特别是得到了理论的闭包定理和与之相应的模型的闭包定理．......
Institution作为一般框架下的逻辑系统，在数据库理论、程序设计语言、模块化技术和人工智能等方面有着重要的应用。论文主要研究了I......
