×
罗伯特·哈珀;弗兰克·芬宁

关于LF型理论中的等价性和规范形式。 （英语） Zbl 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公司