En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad
En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad
复制标题
恩加德！
DOI：
10.1007/978-3-030-33636-3_13
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Niccolò Veltri
中科院分区：
文献类型：
--
作者：
R. Kaarsgaard;Niccolò Veltri
可逆计算研究同时表现出向前和向后决定性的计算。其中，它已经被研究了半个世纪，因为它在低功耗计算中的应用，并形成了量子计算的基础。
Reversible computation studies computations which exhibit both forward and backward determinism. Among others, it has been studied for half a century for its applications in low-power computing, and forms the basis for quantum computing.
重温偏爱：作为商归纳-归纳类型的偏爱 Monad
DOI：
10.48550/arxiv.1610.09254
发表时间：
2016
期刊：
--
影响因子：
--
作者：
Altenkirch T
通讯作者：
Altenkirch T