Principle and progress of reversible computing

Reversible Computing - Fundamentals, Quantum Computing, and Applications

Make more knowledge even in less time every day. You may not always spend your time and money to go abroad and get the experience and knowledge by yourself. Reading is a good alternative to do in getting this desirable knowledge and experience. You may gain many things from experiencing directly, but of course it will spend much money. So here, by reading reversible computing fundamentals quant...

Reversible Computing and Discrete Reality

Reversible monadic computing

We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order expressivity. We demonstrate that Frobenius monads model the appropriate notion of coherence between the dagger and closure by reinforcing Cayley’s theorem; by proving that effectful computations (Kle...

Foundations of Generalized Reversible Computing

Information loss from a computation implies energy dissipation due to Landauer’s Principle. Thus, increasing the amount of useful computational work that can be accomplished within a given energy budget will eventually require increasing the degree to which our computing technologies avoid information loss, i.e., are logically reversible. But the traditional definition of logical reversibility ...

Fundamentals of Reversible Logic and Computing

1. Landauer’s Principle and the fundamentals of Reversible Logic. 2. Feynman, Fredkin and Toffoli gates. 3. Multiple -valued reversible logic and gates (Picton’s gates and circuits, our generalizations). 4. In the search of the best universal reversible gates. 5. Logic synthesis using reversible gates. 5.1. Cascades and work of Sasao/Kinoshita 5.2. Other regular structures and works of Picton, ...