Towards Computing Distances Between Programs via Scott Domains.

Michael A. Bukatin, Joshua S. Scott

Browse the full LFCS paper archive.