Foolproof
发表于 2025-3-25 06:06:27
Toward a Curry-Howard Equivalence for Linear, Reversible Computationlogic.: linear logic extended with least and greatest fixed points allowing inductive and coinductive statements. Linear, reversible computation makes an important sub-class of quantum computation without measurement. In the latter, the notion of purely quantum recursive type is not yet well underst
maladorit
发表于 2025-3-25 10:03:35
http://reply.papertrans.cn/83/8295/829419/829419_22.png
盘旋
发表于 2025-3-25 11:50:08
Fractional Typesocation must be paired with a matching de-allocation. Second, space can only be safely de-allocated if its contents are restored to their initial value from allocation time. Generally speaking, the state of the art provides limited partial solutions, either leaving both constraints to programmers’ a
蛛丝
发表于 2025-3-25 16:38:36
http://reply.papertrans.cn/83/8295/829419/829419_24.png
Obstacle
发表于 2025-3-25 23:43:03
Maximality of Reversible Gate Setsections of reversible gates, we investigate the lattice of closed sets and the maximal members of this lattice, that is, collections that are not all gates, but the addition of a single new gate will allow us to construct all gates. We find the maximal closed sets over a finite alphabet..We then ext
敏捷
发表于 2025-3-26 02:14:43
http://reply.papertrans.cn/83/8295/829419/829419_26.png
易于交谈
发表于 2025-3-26 08:13:29
ReverCSP: Time-Travelling in CSP Computationsbacktracking to a given desired state of interest. . allows us to reverse computations exactly in the same order in which they happened, or also in a causally-consistent way. Therefore, . is a tool that can be especially useful to comprehend, analyze, and debug computations. . is an open-source proj
MEET
发表于 2025-3-26 10:02:56
http://reply.papertrans.cn/83/8295/829419/829419_28.png
Rejuvenate
发表于 2025-3-26 15:55:23
Timothée Goubault de Brugière,Marc Baboulin,Benoît Valiron,Simon Martiel,Cyril Allouche
易受刺激
发表于 2025-3-26 19:58:45
http://reply.papertrans.cn/83/8295/829419/829419_30.png