摘要：元递归函数定义了一个二阶lambda演算（System F）的片段。类型量化被限定为非交叉和分层的，即给定了类型的层级，并且量化的变量只能由层级较小的类型实例化，对层级零进行了稍微宽松的处理。
作者：Klaus Aehlig, Jan Johannsen
论文ID：cs/0210022
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中