Discrete approximation of spaces - a uniform approach to topologically structured datatypes and their function spaces. - Philipp Sünderhauf (1994)

A Faithful Computational Model of the Real Numbers. - Philipp Sünderhauf (Theor. Comput. Sci., 1995)

Tensor products and powerspaces in quantitative domain theory. - Philipp Sünderhauf (MFPS, 1997)

Spaces of valuations as quasimetric domains. - Philipp Sünderhauf (COMPROX, 1997)

Lazy Computation with Exact Real Numbers. - Abbas Edalat; Peter John Potts; Philipp Sünderhauf (ICFP, 1998)

Preface. - Abbas Edalat; David W. Matula; Philipp Sünderhauf (RealComp, 1998)

Continuous Domains and Banach Spaces. - Philipp Sünderhauf (RealComp, 1998)

A Domain-Theoretic Approach to Computability on the Real Line. - Abbas Edalat; Philipp Sünderhauf (Theor. Comput. Sci., 1999)

Computable Banach Spaces via Domain Theory. - Abbas Edalat; Philipp Sünderhauf (Theor. Comput. Sci., 1999)

Sobriety in Terms of Nets. - Philipp Sünderhauf (Appl. Categorical Struct., 2000)

The essence of ideal completion in quantitative form. - Robert C. Flagg; Philipp Sünderhauf (Theor. Comput. Sci., 2002)