3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2020
Bisimulation as a Logical Relation
Claudio Hermida, Uday Reddy, Edmund Robinson +1
We investigate how various forms of bisimulation can be characterised using the technology of logical relations. The approach taken is that each form of bisimulation corresponds to…
math.CT2003
Paracategories I: internal parategories and saturated partial algebras
Claudio Hermida, Paulo Mateus
Based on the monoid classifier, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a…
math.CT2000★ 3 cited
From Coherent Structures to Universal Properties
Claudio Hermida
Given a 2-category $\twocat{K}$ admitting a calculus of bimodules, and a 2-monad T on it compatible with such calculus, we construct a 2-category $\twocat{L}$ with a 2-monad S on i…