The \(\aleph \)-calculus. A declarative model of reversible programming

DOI10.1007/978-3-031-09005-9_11OpenAlexW4293209970MaRDI QIDQ2097425

Hannah Earley

Publication date: 11 November 2022

Full work available at URL: https://arxiv.org/abs/2206.05957

zbMATH Keywords

reversible computingdeclarative paradigmterm-rewriting

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Cites Work

• Foundations of generalized reversible computing
• A structural approach to reversible computation
• Irreversibility and Heat Generation in the Computing Process
• Reversible Term Rewriting
• Reversible combinatory logic
• Logical Reversibility of Computation

This page was built for publication: The \(\aleph \)-calculus. A declarative model of reversible programming