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]

Authors

Clemens Kupke

This author has not been identified. Look up 'Clemens Kupke' in Google

Fredrik Nordvall Forsberg

This author has not been identified. Look up 'Fredrik Nordvall Forsberg' in Google

Sean Watters

This author has not been identified. Look up 'Sean Watters' in Google