On the existence of free models in abstract algebraic institutions
- 31 December 1985
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 37, 269-304
- https://doi.org/10.1016/0304-3975(85)90094-5
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Quasi-varieties in abstract algebraic institutionsJournal of Computer and System Sciences, 1986
- Some fundamental algebraic tools for the semantics of computation: Part 1: Comma Categories, Colimits, Signatures and TheoriesTheoretical Computer Science, 1984
- Algebraic and operational semantics of specifications allowing exceptions and errorsTheoretical Computer Science, 1984
- Characterizing specification languages which admit initial semanticsTheoretical Computer Science, 1984
- Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebrasAlgebra universalis, 1982
- Partial abstract typesActa Informatica, 1982
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- Axioms for abstract model theoryAnnals of Mathematical Logic, 1974