罗伯特·哈珀;弗兰克·芬宁 关于LF型理论中的等价性和规范形式。 (英语) 兹比尔1367.03055 ACM事务处理。计算。日志。 6,第1期,61-101(2005). 引用于18文件 MSC公司: 03B70号 计算机科学中的逻辑 03B40型 组合逻辑与lambda演算 68甲18 函数编程和lambda演算 关键词:逻辑框架;类型理论 软件:Twelf公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Harper}和\textit{F.Pfenning},ACM Trans。计算。日志。6,第1号,61--101(2005;Zbl 1367.03055) 全文: 内政部 arXiv公司