电脑体验，效果更佳

吕江花图谱-计算机领域：

相关人员

马世龙 金成植 潘静

研究领域

Monad 行为 基调 直接指称语义 BIND型Monad 顺序化 论域 指称语义 接续指称语义 范畴 接续函数 语义指派函数 语义转换 ambient MAP型Monad 接续 语义 高阶函数

所属机构

北京航空航天大学软件开发环境国家重点实验... 北京科技大学管理学院 北京航空航天大学计算机科学与工程学院 吉林大学大学计算机科学与技术学院 北京100083吉林大学大学计算机科学与... 吉林大学计算机科学与技术学院

标签云