类型性质证明相关硕士博士期刊学术论文

通过类型理论使得程序语言在静态可以检查是否出错,这给程序语言带来许多优势。类型理论中的重要性质包括：弱化规则、删除规则、强......