%0 Journal Article %T 多态x—演算 %A 蒋翔宇 傅育熙? %J 计算机科学 %D 2000 %K 多态x-演算计算模型计算机科学 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=4411034&flag=1