Reusability and Dependent Types
Reusability and Dependent Types
可重用性和依赖类型
批准号：
EP/G034699/1
负责人：
Neil Ghani
金额：
$18.89万
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2009
资助国家：
英国
项目状态：
已结题
起止时间：
2009 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
The gentle art of levitation
轻柔的悬浮艺术
轻柔的悬浮艺术
DOI：
10.1145/1932681.1863547
发表时间：
2010
期刊：
ACM SIGPLAN Notices
影响因子：
--
作者：
[Chapman J]
通讯作者：
Chapman J
DOI：
10.1145/2398856.2364544
发表时间：
2012
期刊：
ACM SIGPLAN Notices
影响因子：
--
作者：
[Dagand P]
通讯作者：
Dagand P
Homotopy Type Theory: Programming and Verification
-
批准号：EP/M016951/1
-
项目类别：Research Grant
-
资助金额：$63.66万
-
财政年份：2015
-
负责人：Neil Ghani
-
依托单位：
Logical Relations for Program Verification
-
批准号：EP/K023837/1
-
项目类别：Research Grant
-
资助金额：$56.38万
-
财政年份：2013
-
负责人：Neil Ghani
-
依托单位：
Theory And Applications of Induction Recursion
-
批准号：EP/G033056/1
-
项目类别：Research Grant
-
资助金额：$39.62万
-
财政年份：2009
-
负责人：Neil Ghani
-
依托单位：
国内基金
海外基金
当归芍药散基于双向调控Ras/cAMP-dependent PKA自噬通路的“酸甘化阴、辛甘化阳”的药性基础
-
批准号：81973497
-
项目类别：面上项目
-
资助金额：55.0万元
-
批准年份：2019
-
负责人：刘四军
-
依托单位：
蒺藜苜蓿细胞周期蛋白依赖性激酶（cyclin-dependent kinase）对根瘤发育的功能研究
-
批准号：31100871
-
项目类别：青年科学基金项目
-
资助金额：20.0万元
-
批准年份：2011
-
负责人：何恒斌
-
依托单位：
Posphoinositide-dependent kinase-1在肿瘤细胞趋化运动和转移中的作用机制
-
批准号：30772529
-
项目类别：面上项目
-
资助金额：29.0万元
-
批准年份：2007
-
负责人：张宁
-
依托单位：
