Proceedings of a tutorial and workshop on Category theory and computer programming
Bits and pieces of the theory of institutions
Proceedings of a tutorial and workshop on Category theory and computer programming
Theoretical Computer Science
Some fundamental algebraic tools for the semantics of computation, part 3: indexed categories
Theoretical Computer Science
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Handbook of logic in computer science (vol. 1)
Combining and representing logical systems using model-theoretic parchments
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Using Limits of Parchment to Systematically Construct Institutions of partial Algebras
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Behavioural Satisfaction and Equivalence in Concrete Model Categories
CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
Combining and Representing Logical Systems
CTCS '97 Proceedings of the 7th International Conference on Category Theory and Computer Science
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
| Hi-index | 0.00 |
The paper discusses a generalization of the notion of context institution and introduces a suitable notion of presentation for it. With an appropriate notion of morphism presentations constitute a category, whose structural properties can be used to systematically construct logical systems (i.e. abstract context institutions).