Quantified functional analysis and seminormed spaces: a dual adjunction
dualisation functor on locally convex approach spaces
scientific article; zbMATH DE number 5073076