A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists

Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters. A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. In Chung-Kil Hur, editor, Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings. Volume 14405 of Lecture Notes in Computer Science, pages 135-154, Springer, 2023. [doi]

Abstract

Abstract is missing.