Addendum to ``Recursively defined metric spaces without contraction

DOI10.1016/J.TCS.2013.05.003zbMath1294.68108OpenAlexW2026365732MaRDI QIDQ391132

Michael Makkai, James Worrell, Claudio Hermida, Franck Van Breugel

Publication date: 10 January 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2013.05.003

zbMATH Keywords

Kantorovich functormean-value algebrametric matching lemma

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

On finitary functors and their presentations

Cites Work

• Recursively defined metric spaces without contraction
• On the Complexity of Computing Probabilistic Bisimilarity
• Metric spaces, generalized logic, and closed categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Addendum to ``Recursively defined metric spaces without contraction