%0 Journal Article
%T Institution中合并理论的初始与终结语义
%A 应明生
%J -
%D 1996
%X 本文在一些相当直观的条件下建立了Ｉｎｓｔｉｔｕｔｉｏｎ中合并理论与各因子理论的初始（终结）语义之间的对应关系
%K 程序系统 程序语言 模型论 范畴论
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19960606&flag=1