%0 Journal Article
%T 类型理论和程序设计
%A 李未 王飓安？
%J 计算机科学
%D 1992
%K 类型理论程序设计数学
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=5171707&flag=1