A revised completeness result for the simply typed λμ-calculus using realizability semantics. - Karim Nour; Mohamad Ziadeh (Log. Methods Comput. Sci., 2017)