Uniform domain representations of lp -spaces. - Petter Kristian Køber (Math. Log. Q., 2007)

Domain Representable Spaces Defined by Strictly Positive Induction - Petter Kristian Køber (Log. Methods Comput. Sci., 2010)

Domain representations of spaces of compact subsets. - Ulrich Berger 001; Jens Blanck; Petter Kristian Køber (Math. Struct. Comput. Sci., 2010)