Towards Trace Metrics via Functor Lifting.

Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara Knig

Browse the full CALCO paper archive.