Adequacy for untyped translations of typed lambda-calculi

Wesley Phoa

Browse the full LICS paper archive.