Nao Hirokawa, Dohan Kim 0001, Kiraku Shintani, René Thiemann. Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs. In Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024. pages 147-161, ACM, 2024. [doi]
Abstract is missing.