7 citations · 29 across the 9 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 7 cited
Limits in Categories of Vietoris Coalgebras
Dirk Hofmann, Renato Neves, Pedro Nora
Motivated by the need to reason about hybrid systems, we study limits in categories of coalgebras whose underlying functor is a Vietoris polynomial one - intuitively, the topologic…
math.LO2016★ 1 cited
Asymmetric combination of logics is functorial: A survey
Renato Neves, Alexandre Madeira, Luis S. Barbosa +1
Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development o…