Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
From MaRDI portal
Publication:1059405
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
algebraic theoriescategory theorycomma categoriescolimitscalculus of operationsCLEARfree theoriesprogram specificationstwo- dimensional categoriesabstract theoriessigned theories
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