4 citations · 9 across the 3 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)…