Mehdi Zarrad

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In a recent article Gorín and Schröder[3] study λ−simulations of coalgebras and relate them to preservation of positive formulae. Their main results assume that λ is a set of monotonic predicate liftings and their proofs are set-theoretical. We give a different definition of simulation , called strong simulation, which has several advantages: Our notion(More)
  • 1