Philipp Sünderhauf

MaRDI QIDQ671998zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Lazy computation with exact real numbers Proceedings of the third ACM SIGPLAN international conference on Functional programming	2019-09-26	Paper
Lazy computation with exact real numbers Proceedings of the third ACM SIGPLAN international conference on Functional programming	2017-08-21	Paper
The essence of ideal completion in quantitative form Theoretical Computer Science	2002-07-15	Paper
Function spaces for uniformly locally bounded quasi-uniform spaces	2002-01-22	Paper
Sobriety in terms of nets Applied Categorical Structures	2001-06-05	Paper
scientific article; zbMATH DE number 1497754 (Why is no real title available?)	2001-03-06	Paper
Uniform approximation of topological spaces Topology and its Applications	2000-03-26	Paper
Smyth completion as bicompletion Topology and its Applications	1999-10-25	Paper
Computable Banach spaces via domain theory Theoretical Computer Science	1999-06-21	Paper
A domain-theoretic approach to computability on the real line Theoretical Computer Science	1999-01-12	Paper
scientific article; zbMATH DE number 1231650 (Why is no real title available?)	1999-01-06	Paper
scientific article; zbMATH DE number 1231583 (Why is no real title available?)	1998-12-20	Paper
SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE Quaestiones Mathematicae	1998-08-02	Paper
scientific article; zbMATH DE number 1107502 (Why is no real title available?)	1998-04-05	Paper
A faithful computational model of the real numbers Theoretical Computer Science	1997-02-27	Paper
Quasi-uniform completeness in terms of Cauchy nets Acta Mathematica Hungarica	1996-09-11	Paper
Constructing a quasi-uniform function space Topology and its Applications	1995-12-11	Paper
scientific article; zbMATH DE number 554487 (Why is no real title available?)	1994-05-26	Paper

Research outcomes over time

This page was built for person: Philipp Sünderhauf