Bennett's logical reversibility is a concept in computation theory stating that computational processes can be designed so that each step is logically reversible, allowing information to be recovered and, in principle, computation to occur without energy dissipation.