Philipp Sünderhauf

Publication Activity (10 Years)

Years Active: 1995-2002
Publications (10 Years): 0

TH Darmstadt (PHD)

Education History

TH Darmstadt

PHD

Publications

Robert C. Flagg, Philipp Sünderhauf
The essence of ideal completion in quantitative form. Theor. Comput. Sci. 278 (1-2) (2002)
Philipp Sünderhauf
Sobriety in Terms of Nets. Appl. Categorical Struct. 8 (4) (2000)
Philipp Sünderhauf
Continuous Domains and Banach Spaces. Electron. Notes Theor. Comput. Sci. 24 (1999)
Abbas Edalat, David W. Matula, Philipp Sünderhauf
Preface. Electron. Notes Theor. Comput. Sci. 24 (1999)
Abbas Edalat, Philipp Sünderhauf
A Domain-Theoretic Approach to Computability on the Real Line. Theor. Comput. Sci. 210 (1) (1999)
Abbas Edalat, Philipp Sünderhauf
Computable Banach Spaces via Domain Theory. Theor. Comput. Sci. 219 (1-2) (1999)
Philipp Sünderhauf
Spaces of valuations as quasimetric domains. Electron. Notes Theor. Comput. Sci. 13 (1998)
Abbas Edalat, Peter John Potts, Philipp Sünderhauf
Lazy Computation with Exact Real Numbers. ICFP (1998)
Philipp Sünderhauf
Tensor products and powerspaces in quantitative domain theory. MFPS (1997)
Philipp Sünderhauf
A Faithful Computational Model of the Real Numbers. Theor. Comput. Sci. 151 (1) (1995)