Philipp Sünderhauf

According to our database, Philipp Sünderhauf authored at least 11 papers between 1994 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

The essence of ideal completion in quantitative form.

Robert C. Flagg, Philipp Sünderhauf

Theor. Comput. Sci., 2002

2000

Sobriety in Terms of Nets.

Philipp Sünderhauf

Appl. Categorical Struct., 2000

1999

Computable Banach Spaces via Domain Theory.

Abbas Edalat, Philipp Sünderhauf

Theor. Comput. Sci., 1999

A Domain-Theoretic Approach to Computability on the Real Line.

Abbas Edalat, Philipp Sünderhauf

Theor. Comput. Sci., 1999

1998

Continuous Domains and Banach Spaces.

Philipp Sünderhauf

Proceedings of the Workshop on Real Number Computation, 1998

Preface.

Abbas Edalat, David W. Matula, Philipp Sünderhauf

Proceedings of the Workshop on Real Number Computation, 1998

Lazy Computation with Exact Real Numbers.

Abbas Edalat, Peter John Potts, Philipp Sünderhauf

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997

Spaces of valuations as quasimetric domains.

Philipp Sünderhauf

Proceedings of the Third Workshop on Computation and Approximation, 1997

Tensor products and powerspaces in quantitative domain theory.

Philipp Sünderhauf

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

1995

A Faithful Computational Model of the Real Numbers.

Philipp Sünderhauf

Theor. Comput. Sci., 1995

1994

Discrete approximation of spaces - a uniform approach to topologically structured datatypes and their function spaces.

Philipp Sünderhauf

PhD thesis, 1994