Pages that link to "Item:Q4856659"
From MaRDI portal
The following pages link to Categorical concepts for parameterized partial specifications (Q4856659):
Displaying 9 items.
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- Partial pushout semantics of generics in DOL (Q724938) (← links)
- Optionality, scope, and licensing: An application of partially ordered categories (Q1024814) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Fibred amalgamation, descent data, and Van Kampen squares in topoi (Q2350322) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Category localization semantics for specification refinements (Q2385430) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)