Up-To Techniques for Behavioural Metrics via Fibrations
Reference
F. Bonchi, B. König, and D. Petri san. Up-to techniques for behavioural metrics via fibrations, 2018. arXiv:1806.11064.
Suggested BibTeX entry:
@misc{BKP18b,
author = {F. Bonchi and B. K{\"o}nig and D. Petri\c san},
note = {arXiv:1806.11064},
title = {Up-To Techniques for Behavioural Metrics via Fibrations},
year = {2018}
}

