The following pages link to (Q5416166):
Displaying 27 items.
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Monadic extensions of institutions (Q622025) (← links)
- Observational specifications and the indistinguishability assumption (Q673973) (← links)
- On the correctness of modular systems (Q674009) (← links)
- Equational type logic (Q752689) (← links)
- Pushout-complements and basic concepts of grammars in toposes (Q757576) (← links)
- A set-theoretic semantics for Clear (Q791329) (← links)
- Interpreting one concurrent calculus in another (Q915484) (← links)
- A 2-categorial generalization of the concept of institution (Q993499) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- Inductively defined functions in functional programming languages (Q1089782) (← links)
- Algebraic specification of modules and their basic interconnections (Q1089795) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Categorical aspects of data type constructors (Q1094129) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- From static to dynamic abstract data-types: An institution transformation (Q1285655) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Institutions for logic programming (Q1391732) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- (Q3332238) (← links)
- Partialising institutions (Q6185812) (← links)
