111 citations · 374 across the 31 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Towards Trace Metrics via Functor Lifting
Paolo Baldan, Filippo Bonchi, Henning Kerstan +1
We investigate the possibility of deriving metric trace semantics in a coalgebraic framework. First, we generalize a technique for systematically lifting functors from the category…
cs.LO2015★ 32 cited
Bialgebraic Semantics for Logic Programming
Filippo Bonchi, Fabio Zanasi
Bialgebrae provide an abstract framework encompassing the semantics of different kinds of computational models. In this paper we propose a bialgebraic approach to the semantics of…