Michael Johnson, François Renaud. Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive. In James Cheney, Hsiang-Shang Ko, editors, Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019. Volume 2355 of CEUR Workshop Proceedings, pages 66-70, CEUR-WS.org, 2019. [doi]
Abstract is missing.