Theory And Applications of Induction Recursion
Theory And Applications of Induction Recursion
归纳递归的理论与应用
批准号：
EP/G033374/1
负责人：
Anton Setzer
金额：
$13.37万
依托单位：
依托单位国家：
英国
项目类别：
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.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Interactive programming in Agda - Objects and graphical user interfaces
Agda 中的交互式编程 - 对象和图形用户界面
Agda 中的交互式编程 - 对象和图形用户界面
DOI：
10.1017/s0956796816000319
发表时间：
2017
期刊：
Journal of Functional Programming
影响因子：
1.1
作者：
[ABEL A]
通讯作者：
ABEL A
DOI：
10.1007/978-3-319-99933-3_6
发表时间：
2018
期刊：
影响因子：
--
作者：
[Adelsberger S]
通讯作者：
Adelsberger S
Copatterns programming infinite structures by observations
通过观察对无限结构进行共模式编程
通过观察对无限结构进行共模式编程
DOI：
10.1145/2480359.2429075
发表时间：
2013
期刊：
ACM SIGPLAN Notices
影响因子：
--
作者：
[Abel A]
通讯作者：
Abel A
Formal Verification for Feature-Based Composition of Workflows
基于特征的工作流组合的形式化验证
基于特征的工作流组合的形式化验证
DOI：
10.1109/edcc.2018.00039
发表时间：
2018
期刊：
影响因子：
--
作者：
[Adelsberger S]
通讯作者：
Adelsberger S
Fibred Data Types
纤维数据类型
纤维数据类型
DOI：
10.1109/lics.2013.30
发表时间：
2013
期刊：
影响因子：
--
作者：
[Ghani N]
通讯作者：
Ghani N
共 9 条
国内基金
海外基金
Applications of AI in Market Design
-
批准号：--
-
项目类别：外国青年学者研 究基金项目
-
资助金额：--
-
批准年份：2024
-
负责人：Manshu Khanna
-
依托单位：
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
-
批准号：12126512
-
项目类别：数学天元基金项目
-
资助金额：12.0万元
-
批准年份：2021
-
负责人：李常品
-
依托单位：
Capture and Release of Droplets Using Advanced Materials for High Technology Applications
-
批准号：52073127
-
项目类别：面上项目
-
资助金额：58.0万元
-
批准年份：2020
-
负责人：Alidad Amirfazli
-
依托单位：