18 citations · 32 across the 3 of their papers we have counts for
1 paper · 2 filters
Paolo Baldan, Filippo Bonchi, Henning Kerstan +1
We study behavioral metrics in an abstract coalgebraic setting. Given a coalgebra alpha: X -> FX in Set, where the functor F specifies the branching type, we define a framework for…