Categorical concepts for parameterized partial specifications
- 1 June 1995
- journal article
- research article
- Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science
- Vol. 5 (2) , 153-188
- https://doi.org/10.1017/s0960129500000700
Abstract
Categorical constructions inherent to a theory of algebras with strict partial operations are presented and exploited to provide a categorical deduction calculus for conditional existence equations and an alternative definition of such algebras based on the notion of syntactic categories. A compact presentation of the structural theory of parameterized (partial) specifications is given using the categorical approach. This theory is shown to be suitable for providing initial semantics as well as the compositionality results necessary for the definition of specification languages likeACT ONEandACT TWOKeywords
This publication has 13 references indexed in Scilit:
- The theory of constructions: categorical semantics and topos-theoretic modelsContemporary Mathematics, 1989
- Categories of partial mapsInformation and Computation, 1988
- Partial morphisms in categories of effective objectsInformation and Computation, 1988
- Categorical semantics for higher order polymorphic lambda calculusThe Journal of Symbolic Logic, 1987
- Algebra categoricallyPublished by Springer Nature ,1986
- On the existence of free models in abstract algebraic institutionsTheoretical Computer Science, 1985
- Some fundamental algebraic tools for the semantics of computation: Part 1: Comma Categories, Colimits, Signatures and TheoriesTheoretical Computer Science, 1984
- Locally cartesian closed categories and type theoryMathematical Proceedings of the Cambridge Philosophical Society, 1984
- Doctrines in Categorical LogicPublished by Elsevier ,1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977