2 citations · 3 across the 4 of their papers we have counts for
Showing 2017 · math.LOShow all
2 papers · 2 filters
math.LO2017★ 1 cited
Generic partiality for -institutions
Răzvan Diaconescu
-institutions have been introduced as an extension of institution theory that accommodates implicitly partiality of the signature morphisms together with its syntactic…
math.LO2017★ 2 cited
3/2-Institutions: an institution theory for conceptual blending
Răzvan Diaconescu
We develop an extension of institution theory that accommodates implicitly the partiality of the signature morphisms and its syntactic and semantic effects. This is driven primaril…