{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:06:56Z","timestamp":1760170016162,"version":"3.40.5"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Categorical Structures"],"published-print":{"date-parts":[[2002,8]]},"DOI":"10.1023\/a:1016330812768","type":"journal-article","created":{"date-parts":[[2002,12,29]],"date-time":"2002-12-29T03:29:52Z","timestamp":1041132592000},"page":"383-402","source":"Crossref","is-referenced-by-count":50,"title":["Grothendieck Institutions"],"prefix":"10.1007","volume":"10","author":[{"given":"R\u0103zvan","family":"Diaconescu","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"401490_CR1","doi-asserted-by":"crossref","first-page":"10","DOI":"10.2307\/2273784","volume":"50","author":"J. B\u00e9nabou","year":"1985","unstructured":"B\u00e9nabou, J.: Fibred categories and the foundations of naive category theory, J. Symbolic Logic\n50 (1985), 10\u201337.","journal-title":"J. Symbolic Logic"},{"key":"401490_CR2","doi-asserted-by":"crossref","unstructured":"Borceux, F.: Handbook of Categorical Algebra, Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511525858"},{"issue":"2","key":"401490_CR3","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1017\/S0960129596002253","volume":"7","author":"V. E. C\u0103z\u0103nescu","year":"1997","unstructured":"C\u0103z\u0103nescu V. E. and Ro\u00b8su, G.: Weak Inclusion systems, Math. Struct. Comput. Sci.7(2) (1997), 195\u2013206.","journal-title":"Math. Struct. Comput. Sci."},{"issue":"4","key":"401490_CR4","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1023\/A:1008607717635","volume":"6","author":"R. Diaconescu","year":"1998","unstructured":"Diaconescu, R.: Extra TheoryMorphisms for Institutions: logical semantics for multi-paradigm languages, Appl. Categ. Struct.\n6(4) (1998), 427\u2013453. A preliminary version appeared as JAIST Technical Report IS-RR-97-0032F in 1997.","journal-title":"Appl. Categ. Struct."},{"key":"401490_CR5","unstructured":"Diaconescu, R. and Futatsugi, K.: Logical foundations of CafeOBJ, Theo. Comp. Sci., to appear."},{"key":"401490_CR6","doi-asserted-by":"crossref","unstructured":"Diaconescu, R. and Futatsugi, K.: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, AMAST Series in Computing 6, World Scientific, 1998.","DOI":"10.1142\/3831"},{"key":"401490_CR7","unstructured":"Diaconescu, R., Goguen, J. and Stefaneas, P.: Logical support for modularisation, in G. Huet and G. Plotkin (eds.), Logical Environments, Proceedings of a Workshop held in Edinburgh, Scotland, May 1991, Cambridge, 1993, pp. 83\u2013130."},{"key":"401490_CR8","unstructured":"Diaconescu, R. and Stefaneas, P.: Categorical foundations of modularization for multiparadigm languages, Technical Report IS-RR-98-0014F, Japan Advanced Institute for Science and Technology, 1998."},{"issue":"1","key":"401490_CR9","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J. and Burstall, R.: Institutions: Abstract model theory for specification and programming, J. Assoc. Comp. Math.\n39(1) (1992), 95\u2013146.","journal-title":"J. Assoc. Comp. Math."},{"key":"401490_CR10","doi-asserted-by":"crossref","unstructured":"Grothendieck, A.: Cat\u00e9gories fibr\u00e9es et descente, in Rev\u00eatements \u00e9tales et groupe fondamental, S\u00e9minaire de G\u00e9om\u00e9trie Alg\u00e9braique du Bois-Marie 1960\/61, Expos\u00e9 VI, Institut des Hautes \u00c9tudes Scientifiques, 1963. Reprinted in Lecture Notes in Math. 224, Springer, 1971, pp. 145-194.","DOI":"10.1007\/BFb0058662"},{"key":"401490_CR11","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1017\/S0960129500000712","volume":"5","author":"H.-J. Kreowski","year":"1995","unstructured":"Kreowski, H.-J. and Mossakowski, T.: Equivalence and difference between institutions: Simulating Horn clause logic with based algebras, Math. Struct. Comp. Sci.\n5 (1995), 189\u2013215.","journal-title":"Math. Struct. Comp. Sci."},{"key":"401490_CR12","unstructured":"MacLane, S.: Categories for the Working Mathematician, 2nd edn, Springer, 1998."},{"key":"401490_CR13","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification, in F. Parisi-Pressice (ed.), Proc. WADT'97, 1998, pp. 18\u201361.","DOI":"10.1007\/3-540-64299-4_26"},{"key":"401490_CR14","doi-asserted-by":"crossref","unstructured":"Par\u00e9, R. and Schumacher, D.: Indexed Categories and their Applications, Lecture Notes in Math. 661, Springer, 1978, Chapt. Abstract Families and the Adjoint Functor Theorems, pp. 1\u2013125.","DOI":"10.1007\/BFb0061361"},{"key":"401490_CR15","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0304-3975(85)90094-5","volume":"37","author":"A. Tarlecki","year":"1986","unstructured":"Tarlecki, A.: On the existence of free models in abstract algebraic institutions, Theo. Comp. Sci.\n37 (1986), 269\u2013304. Preliminary version, University of Edinburgh, Computer Science Department, Report CSR-165-84, 1984.","journal-title":"Theo. Comp. Sci."},{"key":"401490_CR16","doi-asserted-by":"crossref","unstructured":"Tarlecki, A.: Moving between logical systems, in M. Haveraaen, O. Owe and O.-J. Dahl (eds.), Recent Trends in Data Type Specification, Proceedings of 11th Workshop on Specification of Abstract Data Types. Oslo, Norway, September 1995, 1996, pp. 478-502.","DOI":"10.1007\/3-540-61629-2_59"},{"key":"401490_CR17","unstructured":"Tarlecki, A.: Towards heterogeneous specifications, in Proc. Workshop on Frontiers of Combining Systems, 1998."},{"key":"401490_CR18","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"91","author":"A. Tarlecki","year":"1991","unstructured":"Tarlecki, A., Burstall, R. and Goguen, J.: Some fundamental algebraic tools for the semantics of computation, Part 3: Indexed categories, Theo. Comp. Sci.\n91 (1991), 239\u2013264. Also, Monograph PRG-77, Programming Research Group, Oxford University, August 1989.","journal-title":"Theo. Comp. Sci."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016330812768.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1016330812768\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016330812768.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:26:47Z","timestamp":1747578407000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1016330812768"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,8]]}},"alternative-id":["401490"],"URL":"https:\/\/doi.org\/10.1023\/a:1016330812768","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}