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