A structural approach to reversible computation

Samson Abramsky. A structural approach to reversible computation. Theoretical Computer Science, 347(3):441-464, 2005. [doi]

Abstract

Abstract is missing.