%0 Journal Article
%T Institution中自由合并理论的初始与终结语义*
%A 刘富春
%J -
%D 1999
%X 在一般性的适用框架Institution中,建立了自由合并理论与各因子理论的初始(终结)语义之间的对应关系,给出了自由理论态射的粘合态射及其相关的初始(终结)语义,并证明了在一定条件下,遗忘函子Sign:Thl→Sign的反射余极限
%K 代数语义学
%K 程序规范说明
%K 初始模型
%K 模型论
%K 范畴论.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19990216&flag=1