类型系统λω×-≤

• 作者: 周晓聪 李师贤 李文军
• 来源期刊: 中山大学学报(自然科学版)
• 学科: 工学
• 关键词: 类型系统 子类型 受限全称量词类型
• 年，卷（期）: 2001,（3）
• 页码范围: 13-17
• 页数: 5页
• 分类号: TP311
• 字数: 4548字
• 语种: 中文
• DOI: 10.3321/j.issn:0529-6579.2001.03.004

摘要

为研究高阶子类型的范畴论语义模型，区分了带高阶子类型的类型系统中的各种上下文，并简化其中的受限全称量词类型引入规则，而提出了类型系统λω×-≤.文章介绍该类型系统有关类别(Kind)、算子(Operator)、项(Term)的规则，及其与建立范畴论语义模型有关的结构性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李师贤	中山大学计算机科学系	66	914	13.0	29.0
2	李文军	中山大学计算机科学系	23	113	5.0	10.0
3	周晓聪	中山大学计算机科学系	30	153	6.0	11.0