scientific article; zbMATH DE number 6296809

zbMath1288.03001MaRDI QIDQ5416166

Joseph A. Goguen, Rod M. Burstall

Publication date: 19 May 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Abstract model theory (03C95)

Related Items

Structured algebraic specifications: A kernel language ⋮ On the existence of free models in abstract algebraic institutions ⋮ Structured theories and 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 ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Compatibility problems in the development of algebraic module specifications ⋮ Logical systems. I: Internal calculi. ⋮ May I borrow your logic? (Transporting logical structures along maps) ⋮ Institutions for logic programming ⋮ Specification of abstract dynamic-data types: A temporal logic approach ⋮ Monadic extensions of institutions ⋮ Interpreting one concurrent calculus in another ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Observational specifications and the indistinguishability assumption ⋮ On the correctness of modular systems ⋮ A 2-categorial generalization of the concept of institution ⋮ A semantic approach to interpolation ⋮ Equational type logic ⋮ Pushout-complements and basic concepts of grammars in toposes ⋮ From static to dynamic abstract data-types: An institution transformation ⋮ A set-theoretic semantics for Clear