David J. Pearce. Rewriting for sound and complete union, intersection and negation types. In Matthew Flatt, Sebastian Erdweg, editors, Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017. pages 117-130, ACM, 2017. [doi]
Abstract is missing.