The geometry of parallelism: classical, probabilistic, and quantum effects
The geometry of parallelism: classical, probabilistic, and quantum effects
复制标题
并行性的几何：经典效应、概率效应和量子效应
DOI：
10.1145/3009837.3009859
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Akira Yoshimizu
中科院分区：
文献类型：
--
作者：
Ugo Dal Lago;Claudia Faggian;Benoit Valiron;Akira Yoshimizu
我们引入了一个用于高阶量子计算的相互作用几何模型，并证明了它对于一个完全成熟的量子编程语言是等价性的，在该语言中纠缠、复制和递归都是有效的。这个模型是一个新的框架的实例，该框架不仅包括量子计算，而且还包括经典和概率计算。它的主要特点是能够模拟平行环境中的交换效应。我们的模型带有一个多令牌机、一个证明网系统和一个风格的语言。它基于配备了存储器的多令牌机，具有具体的性质，非常适合构建高阶语言的低级操作描述。
We introduce a Geometry of Interaction model for higher-order quantum computation, and prove itsadequacyfora fully fledged quantum programming languagein which entanglement, duplication, and recursion are all available.This model is an instance of a new framework which captures not only quantum but also classical andprobabilisticcomputation. Its main feature is the ability to modelcommutative effectsin aparallelsetting. Our model comes with a multi-token machine, a proof net system, and a -style language. Being based on a multi-token machine equipped with a memory, it has a concrete nature which makes it well suited for building low-level operational descriptions of higher-order languages.