The following pages link to Types as theories (Q3975038):
Displaying 28 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- Type interaction models and the rule of six (Q868601) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Object inheritance beyond subtyping (Q1323343) (← links)
- A hidden agenda (Q1575735) (← links)
- Theories as types (Q1799118) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- Foundations for virtual types (Q1854531) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Categorical shape theory as a formal language for pattern recognition? (Q1924765) (← links)
- Changing types: information dynamics for qualitative type spaces (Q2016079) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Behavioural specification for hierarchical object composition (Q2571203) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- An institutional theory for \#-components (Q2873612) (← links)
- Types et contragrédientes (Q2933706) (← links)
- Essential core of the Hawking–Ellis types (Q3177425) (← links)
- Type structure and chiral breaking in the standard model (Q3529789) (← links)
- Type structures (Q3760531) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- The method of types [information theory] (Q4701200) (← links)
- Sheaves, Objects, and Distributed Systems (Q4982050) (← links)
- (Q5472892) (← links)
- Semantic constructions for the specification of objects (Q5941157) (← links)
- Partialising institutions (Q6185812) (← links)
