The following pages link to (Q3745248):
Displaying 7 items.
- On formalisms (Q921958) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages (Q1272541) (← links)
- Building and integrating semantic theories over institutions (Q1697086) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Kernel-LEAF: A logic plus functional language (Q2638759) (← links)