A Habel, KH Pennemann - Mathematical Structures in Computer …, 2009 - cambridge.org
In this paper we introduce the notions of nested constraints and application conditions, short
nested conditions. For a category associated with a graphical representation such as …