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