scientific article; zbMATH DE number 6296809

zbMATH Open1288.03001MaRDI QIDQ5416166FDOQ5416166

Authors: Joseph Goguen, Rod Burstall 

Publication date: 19 May 2014

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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)