scientific article; zbMATH DE number 6296809
From MaRDI portal
Publication:5416166
Cited in
(27)- A semantic approach to interpolation
- Structured algebraic specifications: A kernel language
- On the existence of free models in abstract algebraic institutions
- Inductively defined functions in functional programming languages
- Algebraic specification of modules and their basic interconnections
- On observational equivalence and algebraic specification
- Quasi-varieties in abstract algebraic institutions
- Categorical aspects of data type constructors
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- From static to dynamic abstract data-types: An institution transformation
- Functorial theory of parameterized specifications in a general specification framework
- May I borrow your logic? (Transporting logical structures along maps)
- Institutions for logic programming
- Specification of abstract dynamic-data types: A temporal logic approach
- Structured theories and institutions
- Compatibility problems in the development of algebraic module specifications
- Logical systems. I: Internal calculi.
- scientific article; zbMATH DE number 3864486 (Why is no real title available?)
- Partialising institutions
- Monadic extensions of institutions
- Observational specifications and the indistinguishability assumption
- On the correctness of modular systems
- Equational type logic
- Pushout-complements and basic concepts of grammars in toposes
- A set-theoretic semantics for Clear
- Interpreting one concurrent calculus in another
- A 2-categorial generalization of the concept of institution
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5416166)
