Quasi-varieties in abstract algebraic institutions
- 1 December 1986
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 33 (3) , 333-360
- https://doi.org/10.1016/0022-0000(86)90057-7
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- The Birkhoff Variety Theorem for continuous algebrasAlgebra universalis, 1985
- Some fundamental algebraic tools for the semantics of computation: Part 1: Comma Categories, Colimits, Signatures and TheoriesTheoretical 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
- Algebras, Theories and Freeness: An Introduction for Computer ScientistsPublished by Springer Nature ,1982
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1981
- Varieties of chain-complete algebrasJournal of Pure and Applied Algebra, 1980
- Axioms for abstract model theoryAnnals of Mathematical Logic, 1974