Adequacy for untyped translations of typed lambda -calculi | IEEE Conference Publication | IEEE Xplore