The following pages link to (Q2736338):
Displaying 4 items.
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← links)
- Relations as abstract datatypes: An institution to specify relations between algebras (Q5096763) (← links)
