A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations.

Guillaume Geoffroy, Paolo Pistone

Browse the full CSL paper archive.