13 citations · 19 across the 6 of their papers we have counts for
1 paper · 2 filters
Harald König, Uwe Wolter
Fibred semantics is the foundation of the model-instance pattern of software engineering. Software models can often be formalized as objects of presheaf topoi, i.e, categories of o…