Keyword:normal frame

Publications
Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions Jorge Picado and Javier Gutiérrez García In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic