A Semantic Account of Metric Preservation
arXiv (2017) - Comments
arxiv: 1702.00374  issn: 2331-8422  doi: 10.1145/3009837.3009890 

Arthur Azevedo De Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui