类型理论及类型语言研究
基本信息
批准号：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：10.16285/j.rsm.2019.1374
发表时间：2020
2
卡斯特“网络社会理论”对于人文地理学的知识贡献-基于中外引文内容的分析与对比
卡斯特“网络社会理论”对于人文地理学的知识贡献-基于中外引文内容的分析与对比
DOI：10.13249/j.cnki.sgs.2020.08.003
发表时间：2020
3
不确定失效阈值影响下考虑设备剩余寿命预测信息的最优替换策略
不确定失效阈值影响下考虑设备剩余寿命预测信息的最优替换策略
DOI：10.11887/j.cn.202101019
发表时间：2021
4
~(142~146,148,150)Nd光核反应理论计算
~(142~146,148,150)Nd光核反应理论计算
DOI：10.7538/yzk.2022.youxian.0213
发表时间：2022
5
乡村类型视角下干旱区社区恢复力评估及优化策略--以民勤绿洲为例
乡村类型视角下干旱区社区恢复力评估及优化策略--以民勤绿洲为例
DOI：10.7522/j.issn.1000-694x.2022.00009
发表时间：2022
李未的其他基金
批准号：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
项目类别：专项基金项目