论文标题
统一领域中的量子控制：lambda-S1及其分类模型
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
论文作者
论文摘要
在最近的一篇论文中，已使用一种可实现的技术来提供量子lambda演算的语义。这样的技术产生了无限数量的有效打字规则，而不必优先考虑这些规则。在本文中，我们引入了一个有效的打字规则子集，并定义了足够的量子微积分。然后，我们为此提出了一种分类语义。这样的语义包括值分布的分布式空间类别（即lambda conculus中值的线性组合）与价值分布集的类别之间的相关性。
In a recent paper, a realizability technique has been used to give a semantics of a quantum lambda calculus. Such a technique gives rise to an infinite number of valid typing rules, without giving preference to any subset of those. In this paper, we introduce a valid subset of typing rules, defining an expressive enough quantum calculus. Then, we propose a categorical semantics for it. Such a semantics consists of an adjunction between the category of distributive-action spaces of value distributions (that is, linear combinations of values in the lambda calculus), and the category of sets of value distributions.
