|国家科技期刊平台
| 注册
首页|期刊导航|计算机与现代化|Institution理论中一个提升函子的余连续性和连续性

Institution理论中一个提升函子的余连续性和连续性

刘富春

计算机与现代化Issue(4)：62-65,4.
✕
计算机与现代化Issue(4)：62-65,4.

Institution理论中一个提升函子的余连续性和连续性

刘富春1

作者信息

  • 1. 广东工业大学数理系
  • 折叠

摘要

关键词

程序语言/Institution/函子/余连续性/连续性

分类

信息技术与安全科学

引用本文复制引用

刘富春..Institution理论中一个提升函子的余连续性和连续性[J].计算机与现代化,1997,(4):62-65,4.

计算机与现代化

1006-2475

访问量2
|
下载量0
段落导航相关论文