%0 Journal Article
%T institution中自由理论态射的合成
%A 应明生？
%J 软件学报
%P 636-640
%D 1997
%X 本文在一定的条件下建立了institution中理论态射的粘合与各因子态射的自由性之间的联系.并证明了自由理论态射的复合仍为自由的.
%K 代数语义学
%K 抽象模型论
%K 范畴论
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19970812&flag=1