论文标题
$ \ aleph $ -calculus：可逆编程的声明性模型
The $\aleph$-Calculus: A declarative model of reversible programming
论文作者
论文摘要
引入了一种新颖的可逆计算模型，即$ \ aleph $ -calculus。它是声明性的，可逆的完整，并具有本地术语培训语义。与以前证明的可逆术语培训系统不同，它不需要历史数据的积累。 $ \ aleph $ -calculus中的术语与程序定义结合使用，封装了所有程序状态。也写了口译员。
A novel model of reversible computing, the $\aleph$-calculus, is introduced. It is declarative, reversible-Turing complete, and has a local term-rewriting semantics. Unlike previously demonstrated reversible term-rewriting systems, it does not require the accumulation of history data. Terms in the $\aleph$-calculus, in combination with the program definitions, encapsulate all program state. An interpreter was also written.
