Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories
- 1 December 1991
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 91 (2) , 239-264
- https://doi.org/10.1016/0304-3975(91)90085-g
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Toward formal development of programs from algebraic specifications: Implementations revisitedActa Informatica, 1988
- Specifications in an arbitrary institutionInformation and Computation, 1988
- Categorical aspects of data type constructorsTheoretical Computer Science, 1987
- On observational equivalence and algebraic specificationJournal of Computer and System Sciences, 1987
- On the existence of free models in abstract algebraic institutionsTheoretical Computer Science, 1985
- Fibered categories and the foundations of naive category theoryThe Journal of Symbolic Logic, 1985
- Some fundamental algebraic tools for the semantics of computation: Part 1: Comma Categories, Colimits, Signatures and TheoriesTheoretical Computer Science, 1984
- Some fundamental algebraic tools for the semantics of computation: Part 2: Signed and abstract theoriesTheoretical Computer Science, 1984
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Transformations of structures: An algebraic approachTheory of Computing Systems, 1981