Resources and co-resources: a junction between semantics and descriptive complexity

资源和共同资源：语义和描述复杂性之间的结合点

• 批准号: EP/T00696X/1
• 负责人: Samson Abramsky
• 金额: $ 51.01万
• 依托单位: University of Oxford
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2019
• 资助国家: 英国
• 起止时间: 2019 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FT00696X%2F1
• 关键词: Resources; co; resources; junction; between

We live in an information age, when computers and the software that drives them permeate every aspect of our society.There are two fundamentally important aspects of computation.- One concerns the resources needed to perform computational tasks: how many computational steps are needed, how much computer memory, etc.- The other concerns our ability to master the staggering complexity of the computer systems we create and use. The only way of managing this complexity is to use principles of modularity and abstraction, so that at each step of our design and construction of the system, we see only a very limited piece, whose complexity we can master.While the study of each of these aspects of computing has been greatly advanced as computer science has developed, currently we have a very limited understanding of how they relate to each other.Building on our previous work, this project aims to greatly enhance our common understanding of these issues, and to develop new mathematical tools and methods for studying computation based on this. This can lead in turn to new possibilities for fundamental advances in the field.

我们生活在一个信息时代，当计算机和驱动它们的软件渗透到我们社会的各个方面时，计算有两个基本的重要方面。一个是执行计算任务所需的资源：需要多少计算步骤，需要多少计算机内存等。另一个是关于我们掌握我们创建和使用的计算机系统的惊人复杂性的能力。管理这种复杂性的唯一方法是使用模块化和抽象的原则，这样在我们设计和构建系统的每一步，我们只看到非常有限的一部分，我们可以掌握其复杂性。虽然随着计算机科学的发展，对计算的每一个方面的研究都有了很大的进步，目前，我们对它们之间的关系了解非常有限。在我们以前工作的基础上，本项目旨在大大加强我们对这些问题的共同理解，并在此基础上开发新的数学工具和方法来研究计算。这反过来又可能导致在该领域取得根本性进展的新的可能性。

项目成果

Arboreal categories and resources

树栖类别和资源

• DOI: 10.4230/lipics.icalp.2021.115
• 发表时间: 2021
• 期刊: Leibniz International Proceedings in Informatics, LIPIcs
• 作者: Abramsky S.

Relating structure and power: Comonadic semantics for computational resources

关联结构和能力：计算资源的共元语义

• DOI: 10.1093/logcom/exab048
• 发表时间: 2021
• 期刊: Journal of Logic and Computation
• 影响因子: 0.7
• 作者: Abramsky S

Arboreal Categories: An Axiomatic Theory of Resources

树栖类别：资源的公理理论

• DOI: 10.46298/lmcs-19(3:14)2023
• 发表时间: 2023
• 期刊: Logical Methods in Computer Science
• 影响因子: 0.6
• 作者: Abramsky S

The logic of contextuality

• DOI: 10.4230/lipics.csl.2021.5
• 发表时间: 2020-11
• 作者: S. Abramsky;Rui Soares Barbosa

Structure and Power: an Emerging Landscape

结构与权力：新兴景观

• DOI: 10.3233/fi-222116
• 发表时间: 2022
• 期刊: Fundamenta Informaticae
• 影响因子: 0.8
• 作者: Abramsky S