类型理论及类型语言研究
基本信息
批准号：68873021
项目类别：面上项目
资助金额：6.00
负责人：李未
学科分类：
依托单位：北京航空航天大学
批准年份：1988
结题年份：1990
起止时间：1989-01-01 - 1990-12-31
项目状态： 已结题
项目参与者：于滨,李纬,龙翔
关键词：
类型理论数理逻辑程序设计语言
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于旋量理论的数控机床几何误差分离与补偿方法研究
基于旋量理论的数控机床几何误差分离与补偿方法研究
DOI：
发表时间：2019
2
濒危植物海南龙血树种子休眠机理及其生态学意义
濒危植物海南龙血树种子休眠机理及其生态学意义
DOI：10.11931/guihaia.gxzw201701024
发表时间：2017
3
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
4
多元化企业IT协同的维度及测量
多元化企业IT协同的维度及测量
DOI：
发表时间：2017
5
水平地震激励下卧式储罐考虑储液晃动的简化力学模型
水平地震激励下卧式储罐考虑储液晃动的简化力学模型
DOI：10.13465/j.cnki.jvs.2020.13.019
发表时间：2020
李未的其他基金
批准号：69433031
批准年份：1994
资助金额：30.00
项目类别：重点项目
批准号：60473084
批准年份：2004
资助金额：22.00
项目类别：面上项目
批准号：69973006
批准年份：1999
资助金额：40.00
项目类别：面上项目
批准号：69283002
批准年份：1992
资助金额：6.00
项目类别：专项基金项目
批准号：41471401
批准年份：2014
资助金额：85.00
项目类别：面上项目
批准号：69683002
批准年份：1996
资助金额：12.00
项目类别：专项基金项目
批准号：90104008
批准年份：2001
资助金额：30.00
项目类别：重大研究计划
批准号：40801200
批准年份：2008
资助金额：19.00
项目类别：青年科学基金项目
批准号：69433030
批准年份：1994
资助金额：50.00
项目类别：重点项目
相似国自然基金
1
语言嗓音发声类型声学研究
批准号：19674075
批准年份：1996
负责人：孔江平
学科分类：A2305
资助金额：9.00
项目类别：面上项目
2
减少编程错误：基于认证内核的全新的快捷依赖类型PiSigma高级编程语言开发
批准号：61070023
批准年份：2010
负责人：托马斯·安碧瑞
学科分类：F0214
资助金额：30.00
项目类别：面上项目
3
内类型理论
批准号：69973030
批准年份：1999
负责人：傅育熙
学科分类：F0201
资助金额：10.00
项目类别：面上项目
4
磁暴类型预报方法研究
批准号：48780009
批准年份：1987
负责人：章公亮
学科分类：D0411
资助金额：4.00
项目类别：专项基金项目