基于一阶谓词和范畴论的形状与形状型

• 作者: 卢素魁
• 来源期刊: 河北大学学报（自然科学版）
• 学科: 工学
• 关键词: 形状 形状型 形式系统 一阶谓词演算 范畴
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 电子工程与计算机科学
• 页码范围: 323-326
• 分类号: TP391
• 字数: 3003字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1565.2010.03.021

摘要

为了对形状的语义分析进行更加深入地研究,在形式系统、一阶谓词演算和范畴论的基础上,给出了形状及形状型的定义,并讨论了形状与形状型在计算机科学中的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢素魁	河北大学数学与计算机学院	13	28	3.0	5.0