Safety and Completeness of Disambiguation corresponds to Termination and Confluence of Reordering

Luí­s Eduardo Amorim de Souza, Eelco Visser. Safety and Completeness of Disambiguation corresponds to Termination and Confluence of Reordering. June 2020.

Abstract

Abstract is missing.