scientific article; zbMATH DE number 6296809
From MaRDI portal
Publication:5416166
zbMATH Open1288.03001MaRDI QIDQ5416166FDOQ5416166
Authors: Joseph Goguen, Rod Burstall
Publication date: 19 May 2014
Title of this publication is not available (Why is that?)
Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Abstract model theory (03C95) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)
Cited In (27)
- Inductively defined functions in functional programming languages
- Institutions for logic programming
- Specification of abstract dynamic-data types: A temporal logic approach
- Algebraic specification of modules and their basic interconnections
- May I borrow your logic? (Transporting logical structures along maps)
- A 2-categorial generalization of the concept of institution
- Structured theories and institutions
- Pushout-complements and basic concepts of grammars in toposes
- On the existence of free models in abstract algebraic institutions
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Monadic extensions of institutions
- On observational equivalence and algebraic specification
- Structured algebraic specifications: A kernel language
- From static to dynamic abstract data-types: An institution transformation
- Compatibility problems in the development of algebraic module specifications
- A semantic approach to interpolation
- Partialising institutions
- Logical systems. I: Internal calculi.
- Quasi-varieties in abstract algebraic institutions
- Interpreting one concurrent calculus in another
- Functorial theory of parameterized specifications in a general specification framework
- Title not available (Why is that?)
- Categorical aspects of data type constructors
- A set-theoretic semantics for Clear
- Observational specifications and the indistinguishability assumption
- On the correctness of modular systems
- 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)