Our paper Towards Trace Metrics via Functor Lifting has been accepted for publication at CALCO 15. An extended version is available on [arXiv:1505.08105] (http://arxiv.org/abs/1505.08105) and you can download the slides.
Our paper Towards Trace Metrics via Functor Lifting has been accepted for publication at CALCO 15. An extended version is available on [arXiv:1505.08105] (http://arxiv.org/abs/1505.08105) and you can download the slides.