Showing 2022Show all
2 papers · 1 filter
quant-ph2022
A Universal Constraint on Computational Rates in Physical Systems
Hannah Earley
Conventional computing has many sources of heat dissipation, but one of these--the Landauer limit--poses a fundamental lower bound of 1 bit of entropy per bit erased. 'Reversible C…
cs.PL2022
The -Calculus: A declarative model of reversible programming
Hannah Earley
A novel model of reversible computing, the -calculus, is introduced. It is declarative, reversible-Turing complete, and has a local term-rewriting semantics. Unlike previou…