Density Theorems for the Domains-with-Totality Semantics of Dependent Types Ulrich Berger OriginalPaper Pages: 3 - 30
Approximation of Metric Spaces by Partial Metric Spaces Reinhold Heckmann OriginalPaper Pages: 71 - 83