Rundong Mu, Qin Li. A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming. In Jonathan P. Bowen, Qin Li 0002, Qiwen Xu, editors, Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Volume 14080 of Lecture Notes in Computer Science, pages 395-412, Springer, 2023. [doi]
Abstract is missing.