RS Fellow - EPSRC grant (2014): Quantum computation as a programming language
RS Fellow - EPSRC grant (2014): Quantum computation as a programming language
RS 研究员 - EPSRC 资助 (2014)：量子计算作为编程语言
批准号：
EP/N007387/1
负责人：
Samuel Staton
金额：
$28.83万
依托单位：
依托单位国家：
英国
项目类别：
Fellowship
财政年份：
2015
资助国家：
英国
项目状态：
已结题
起止时间：
2015 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The passage to quantum computing has the potential to make computer systems and protocols much faster and much more secure. The purpose of this project is to understand quantum computation using the tools that have been developed for programming language theory.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Bayesian Inversion by Omega-Complete Cone Duality
通过 Omega 完全锥对偶性进行贝叶斯反演
通过 Omega 完全锥对偶性进行贝叶斯反演
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Dahlqvist F]
通讯作者：
Dahlqvist F
Universal Properties in Quantum Theory
量子理论中的普遍性质
量子理论中的普遍性质
DOI：
10.4204/eptcs.287.12
发表时间：
2019
期刊：
Electronic Proceedings in Theoretical Computer Science
影响因子：
--
作者：
[Huot M]
通讯作者：
Huot M
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics
类型与效果系统语义中逻辑关系和单子提升的因式分解系统
类型与效果系统语义中逻辑关系和单子提升的因式分解系统
DOI：
10.1016/j.entcs.2018.11.012
发表时间：
2018
期刊：
Electronic Notes in Theoretical Computer Science
影响因子：
--
作者：
[Kammar O]
通讯作者：
Kammar O
DOI：
10.1109/lics.2017.8005137
发表时间：
2017
期刊：
影响因子：
--
作者：
[Heunen C]
通讯作者：
Heunen C
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
关于用户定义效果的表现力：效果处理程序、单子反射、分隔控制
关于用户定义效果的表现力：效果处理程序、单子反射、分隔控制
DOI：
10.1145/3110257
发表时间：
2017
期刊：
Proceedings of the ACM on Programming Languages
影响因子：
--
作者：
[Forster Y]
通讯作者：
Forster Y
共 7 条
Mathematical Operational Semantics for Data-Passing Processes
-
批准号：EP/E042414/1
-
项目类别：Fellowship
-
资助金额：$26.66万
-
财政年份：2007
-
负责人：Samuel Staton
-
依托单位：
海外基金