Pages that link to "Item:Q673181"
From MaRDI portal
The following pages link to The meaning of specifications I: Domains and initial models (Q673181):
Displaying 6 items.
- Functorial semantics of first-order views (Q344796) (← links)
- Characterizing specification languages which admit initial semantics (Q792080) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Initial semantics of logic specifications with negation (Q1816284) (← links)
- Specifying with syntactic theory functors (Q2173439) (← links)
- Generalization of final algebra semantics by relativization (Q5887520) (← links)