Free constructions in algebraic institutions
- 25 January 2006
- book chapter
- Published by Springer Nature
- p. 526-534
- https://doi.org/10.1007/bfb0030336
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Algebraic specifications with generating constraintsPublished by Springer Nature ,2006
- An axiomatic approach to semantics of specification languagesPublished by Springer Nature ,2006
- Initially — Restricting algebraic theoriesPublished by Springer Nature ,2005
- Building specifications in an arbitrary institutionPublished by Springer Nature ,1984
- Characterizing specification languages which admit initial semanticsPublished by Springer Nature ,1983
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1981
- The semantics of clear, a specification languagePublished by Springer Nature ,1980
- Axioms for abstract model theoryAnnals of Mathematical Logic, 1974