摘要：lambda-delta：一个追求术语、类型、环境和上下文的统一的类型化lambda演算的形式系统
作者：F. Guidi
论文ID：cs/0611040
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-09-25
PDF 下载： 英文版 中文版pdf翻译中