Peter M. Hines. Identities in Modular Arithmetic from Reversible Coherence Operations. In Gerhard W. Dueck, D. Michael Miller, editors, Reversible Computation - 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Volume 7948 of Lecture Notes in Computer Science, pages 84-95, Springer, 2013. [doi]
Abstract is missing.