%0 Journal Article
%T 逻辑框架的语法、语用及语义——(i)新型逻辑框架的语法和语用*
%A 傅育熙？
%A 宋哲炫？
%A 孙永强？
%J 软件学报
%P 224-231
%D 1996
%X 逻辑框架是用以定义逻辑的类型系统．在爱丁堡逻辑框架elf(edinburghlogicalframe-work)和马丁诺夫逻辑框架的基础上，本文提出了一个集两者优点于一身的新型逻辑框架．此逻辑框架特别适用于语义分析．文中还给出一些如何在此逻辑框架中表示目标语言的应用实例．
%K 逻辑框架
%K 类型理论
%K 泛娄
%K 类型．
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s132&flag=1