类型理论及类型语言研究

基本信息
批准号: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
项目类别:专项基金项目