Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions | Publicación