TY - RPRT TI - Behavioral Metrics via Functor Lifting AU - Paolo Baldan AU - Filippo Bonchi AU - Henning Kerstan AU - Barbara König PY - 2014 UR - https://arxiv.org/abs/1410.3385 ID - 1410.3385 ER -