A semantic account of metric preservation
From MaRDI portal
Publication:5370888
DOI10.1145/3009837.3009890zbMath1380.68263arXiv1702.00374OpenAlexW2562060745MaRDI QIDQ5370888
Ikram Cherigui, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Arthur Azevedo de Amorim
Publication date: 20 October 2017
Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1702.00374
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
On bisimilarity in lambda calculi with continuous probabilistic choice ⋮ Differential logical relations. II: Increments and derivatives ⋮ Generalized bounded linear logic and its categorical semantics ⋮ Fibrational bisimulations and quantitative reasoning ⋮ Differential logical relations, Part I: The simply-typed case
This page was built for publication: A semantic account of metric preservation
