代数语义学相关论文
本文在一定的条件下建立了Ｉｎｓｔｉｔｕｔｉｏｎ中理论态射的粘合与各因子态射的自由性之间的联系，并证明了自由理论态射的复合仍为自由的。......
主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2)......
文献[1]对程序开发中逐步求精过程予以形式化,提出求精实现的数学定义。本文在此基础上提出模块化实现的概念,作为模块化程序设计......
