14 citations · 26 across the 5 of their papers we have counts for
1 paper · 1 filter
Till Mossakowski, Florian Rabe, Mihai Codescu
Colimits are a powerful tool for the combination of objects in a category. In the context of modeling and specification, they are used in the institution-independent semantics (1)…