位置：立项数据库 > 立项详情页
逻辑类型理论的语义及其应用
  • 项目名称：逻辑类型理论的语义及其应用
  • 项目类别：青年科学基金项目
  • 批准号：69503006
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：傅育熙
  • 依托单位：上海交通大学
  • 批准年度：1995
傅育熙

傅育熙教授曾负责十余个国家级科研项目的研究，是国务院政府特殊津贴、国家杰出青年基金获得者。

傅育熙的项目
M-可解性、M-计算复杂性与计算机科学的模型理论
期刊论文 26 会议论文 51 获奖 5 著作 1
并行计算会议
计算科学基础研究国际研讨会
进程演算的表达能力研究
期刊论文 10 会议论文 3
内类型理论
期刊论文 1
多线程程序语言的程序分析研究
计算机科学技术的基础理论
期刊论文 8 会议论文 3
无穷状态系统等价性验证
第二十届软件技术基础及理论计算机科学年会
灰箱演算的公平性和匿名性研究
期刊论文 5
进程理论中的否定结果研究
并发计算模型Ｘ－演算的理论研究
期刊论文 2
非普通进程的分析技术、余归纳和可表达性
期刊论文 3
基于进程代数的电子商务协议形式化研究
期刊论文 16 会议论文 11