Two categories of effective continuous cpos
effective continuous complete partial orders
scientific article; zbMATH DE number 5079013
scientific article