%0 Journal Article
%T curry—howard同构理论：研究综述
%A 张昱？
%J 计算机科学
%D 2002
%K 计算机科学curry－howard同构理论直觉主义逻辑命题演算
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=7768292&flag=1