程序规范说明相关论文
主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2)......
在一般性的适用框架Ｉｎｓｔｉｔｕｔｉｏｎ中，建立了自由合并理论与各因子理论的初始（终结）语义之间的对应关系，给出了自由理论态射的粘合态射及其相关的初始......
