Institutional 2-cells and Grothendieck institutions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4060 LNCS, Issue , 2006, Pages 124-149

  Mossakowski, Till ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS; THEOREM PROVING;

2-CATEGORICAL DIAGRAMS; GROTHENDIECK INSTITUTIONS; PROOF SYSTEMS;

ALGEBRA;

EID: 38749117901     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11780274_7     Document Type: Conference Paper

References (23)

1. J. Bergstra, J. Heering, and P. Klint. Module Algebra. J. ACM, 37(2):335-372, 1990.
2. T. Borzyszkowski. Generalized interpolation in CASL. Information Processing Letters, 76/1-2:19-24, 2000.
3. CoFI (The Common Framework Initiative). CASL Reference Manual. LNCS Vol. 2960 (IFIP Series). Springer, 2004.
4. R. Diaconescu. Institution-independent Model Theory. To appear. Book draft. (Ask author for a current draft.).
5. R. Diaconescu. Grothendieck institutions. Applied categorical structures, 10:383-402, 2002.
6. R. Diaconescu, J. Goguen, and P. Stefaneas. Logical support for modularisation. In G. Huet and G. Plotkin, editors, Proceedings of a Workshop on Logical Frameworks, 1991.
7. J. Goguen and G. Roşu. Institution morphisms. Formal aspects of computing, 13:274-307, 2002.
8. J. A. Goguen and R. M. Burstall. Introducing institutions, volume 164 of Lecture Notes in Computer Science, pages 221-256. Springer Verlag, 1984.
9. J. A. Goguen and R. M. Burstall. A study in the foundations of programming methodology: Specifications, institutions, charters and parchments. In D. P. et al., editor, Category Theory and Computer Programming, volume 240 of Lecture Notes in Computer Science, pages 313-333. Springer Verlag, 1985.
10. J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95-146, 1992.
11. Predecessor in: LNCS 164, 221-256, 1984.
12. H. Herrlich and G. Strecker. Category Theory. Allyn and Bacon, Boston, 1973.
13. S. Mac Lane. Categories for the Working Mathematician. Springer, 1998. Second edition.
14. T. Mossakowski. Comorphism-based Grothendieck logics. In K. Diks and W. Rytter, editors, Mathematical foundations of computer science, volume 2420 of LNCS, pages 593-604. Springer, 2002.
15. T. Mossakowski. Relating CASL with other specification languages: the institution level. Theoretical Computer Science, 286:367-475, 2002.
16. T. Mossakowski. Heterogeneous specification and the heterogeneous tool set. Habilitation thesis, University of Bremen, 2005.
17. T. Mossakowski, S. Autexier, and D. Hutter. Development graphs - proof management for structured specifications. Journal of Logic and Algebraic Programming, 67(1-2):114-145, 2006.
18. T. Mossakowski, C. Maeder, K. Lüttich, and S. Wolfi. The heterogeneous tool set. Submitted for publication.
19. T. Mossakowski, L. Schröder, M. Roggenbach, and H. Reichel. Algebraic-coalgebraic specification in CoCASL. Journal of Logic and Algebraic Programming, 67(1-2):146-197, 2006.
20. G. Roşu and J. Goguen. Composing hidden information modules over inclusive institutions, 2004.
21. D. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76:165-210, 1988.
22. A. Tarlecki. Moving between logical systems. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science, pages 478-502. Springer Verlag, 1996.
23. A. Tarlecki, R. M. Burstall, and J. A. Goguen. Some fundamentals algebraic tools for the semantics of computation. Part 3: Indexed categories. Theoretical Computer Science, 91:239-264, 1991.