1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
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…