output
20122024
most citedThe Visual Debugger Tool

3 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing math.CTShow all

1 paper · 1 filter

math.CT2017★ 1 cited

Van Kampen Colimits and Path Uniqueness

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…