Pages that link to "Item:Q1770431"
From MaRDI portal
The following pages link to Amalgamation in the semantics of CASL (Q1770431):
Displaying 5 items.
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)
