Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories

DOI10.1016/0304-3975(84)90036-7zbMath0566.68066OpenAlexW2060842554MaRDI QIDQ1059405

Joseph A. Goguen, Rod M. Burstall

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(84)90036-7

zbMATH Keywords

algebraic theoriescategory theorycomma categoriescolimitscalculus of operationsCLEARfree theoriesprogram specificationstwo- dimensional categoriesabstract theoriessigned theories

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

Automatic synthesis of logical models for order-sorted first-order theories ⋮ Parameterisation for abstract structured specifications ⋮ Varieties of chain-complete algebras ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Program morphisms ⋮ A 2-categorial generalization of the concept of institution ⋮ A categorical manifesto ⋮ Infinite hypergraphs. I: Basic properties ⋮ Pushout-complements and basic concepts of grammars in toposes

Cites Work

• Some Remarks Concerning Categories and Subspaces
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Heterogeneous algebras
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item