The following pages link to (Q2722041):
Displaying 6 items.
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Saturated models in institutions (Q992038) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Stratified institutions and elementary homomorphisms (Q2379932) (← links)
- Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (Q5756497) (← links)