Some fundamental algebraic tools for the semantics of computation: Part 1: Comma Categories, Colimits, Signatures and Theories
- 31 December 1984
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 31 (1-2) , 175-209
- https://doi.org/10.1016/0304-3975(84)90134-8
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Stepwise specification and implementation of abstract data typesPublished by Springer Nature ,1978
- Primitive recursive algebraic theories and program schemesBulletin of the Australian Mathematical Society, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Varieties of ordered algebrasJournal of Computer and System Sciences, 1976
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- On homomorphisms, simulations, correctness and subroutines for programs and program schemesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1972
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970
- Automata in general algebrasInformation and Control, 1967
- Algebras with a Scheme of OperatorsMathematische Nachrichten, 1963
- Some Remarks Concerning Categories and SubspacesCanadian Journal of Mathematics, 1957