Comment by entaloneralie

Henry G. Baker wrote this paper titled "The Thermodynamics of Garbage Collection" in the 90s about linear logic, stack machines, reversibility and the cost of erasing information:

https://wiki.xxiivv.com/docs/baker_thermodynamics.html

A subset of FRACTRAN programs are reversible, and I would love to see rewriting computers as a potential avenue for reversible circuit building(similar to the STARAN cpu):

https://wiki.xxiivv.com/site/fractran.html#reversibility