Comonads理论及其在计算机科学中的应用研究
61103038
2011
F0201.计算机科学的基础理论
苏锦钿
青年科学基金项目
副教授
华南理工大学
22万元
Monads;共代数;双代数;范畴论;Comonads
2012-01-01到2014-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 强共归纳数据类型上的Comonadic共递归 | 期刊论文 | 苏锦钿|余珊珊| |
| 2 | <strong>带参数的共递归操作及其计算律</strong> | 期刊论文 | 苏锦钿| |
| 3 | 广义共迭代及其计算律 | 期刊论文 | 苏锦钿|余珊珊|Su Jin-dian1 Yu Shan-shan2(1.School of Computer Sc|2.School of Information Science and Technology,Sun| |
| 4 | <span style="font-family:宋体;font-size:10.5pt;">论高校计算机专业开展函数式程序语言教学的必要性</span> | 期刊论文 | 余珊珊|易法令|苏锦钿| |
| 5 | 抽象数据类型的双代数结构 | 期刊论文 | 苏锦钿|余珊珊| |
| 6 | 一种数据模型的范畴论建模方法 | 期刊论文 | 苗德成|奚建清|苏锦钿| |
| 7 | 范畴数据类型上的子类型 | 期刊论文 | 苏锦钿| |
| 8 | A Bialgebraic Perspective on Abstract Data Types | 期刊论文 | 苏锦钿| |
| 9 | AADL进程子集行为语义研究 | 期刊论文 | 苗德成|奚建清|苏锦钿| |
| 10 | 带参数的共递归操作及其计算律 | 期刊论文 | 苏锦钿|余珊珊| |
| 11 | 抽象数据类型的双代数结构及其计算 | 期刊论文 | 苏锦钿|余珊珊| |
| 12 | 一种带参数的Hylomorphisms及其计算律 | 期刊论文 | 余珊珊|李师贤|苏锦钿| |
| 13 | TRIZ技术系统演进视角的计算机辅助创新软件体系架构 | 期刊论文 | 李牧南|熊俊霞|许治|苏锦钿| |
| 14 | 一种带参数的Hylomorphisms及其计算律 | 期刊论文 | 余珊珊|李师贤|苏锦钿| |
| 15 | 广义共迭代及其计算律 | 期刊论文 | 苏锦钿|余珊珊| |
| 16 | A category theoretic method of temporal data model | 会议论文 | Miao, Decheng|Xi, Jianqing|Su, Jindian| |
| 17 | 范畴数据类型上的子类型 | 期刊论文 | 苏锦钿|余珊珊| |
查看更多信息请先登录或注册
