Superstructural Reversible Logic
2014
3rd International Workshop on Linearity
https://legacy.cs.indiana.edu/~sabry/papers/reversible-logic.pdf
linear logic
reversible computation