{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:18Z","timestamp":1725467418611},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634553"},{"type":"electronic","value":"9783540695523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026987","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T11:12:36Z","timestamp":1132398756000},"page":"159-176","source":"Crossref","is-referenced-by-count":2,"title":["Shedding new light in the world of logical systems"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Wolter","sequence":"first","affiliation":[]},{"given":"Alfio","family":"Martini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"M. Arrais and J.L. Fiadeiro. Unifying theories in different institutions. In Proc. WADT11, Oslo, pages 81\u2013101. Springer, LNCS 1130, 1996.","DOI":"10.1007\/3-540-61629-2_38"},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"M. Cerioli and AMeseguer. May i borrow your logic? (transporting logical structures along maps). TCS, 173(2):311\u2013347, 1997.","journal-title":"TCS"},{"key":"10_CR3","unstructured":"Maura Cerioli. Relationships between Logical Formalisms. PhD thesis, Universit\u00e0 di Pisa-Genova-Udine, 1993. TD-4\/93."},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J. Goguen","year":"1991","unstructured":"J. Goguen. A categorical manifesto. Mathematical Structures in Computer Science, 1(1):49\u201367, 1991.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journals of the ACM, 39(1):95\u2013146, January 1992.","journal-title":"Journals of the ACM"},{"key":"10_CR6","unstructured":"C. B. Jay. Extending properties to categories of partial maps. Technical Report LFCS 90\u2013107, University of Edinburgh, LFCS, 1990."},{"key":"10_CR7","first-page":"275","volume-title":"Logic colloquium '87","author":"J. Meseguer","year":"1989","unstructured":"J. Meseguer. General logics. In H.-D. Ebbinghaus et. al., editor, Logic colloquium '87, pages 275\u2013329. Elsevier Science Publishers B. V., North Holland, 1989."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"S. Salibra and G. Scollo. A soft stairway to institutions. In Recent Trends in Data Type Specification, pages 310\u2013329. Springer, 1992. LNCS 655.","DOI":"10.1007\/3-540-56379-2_47"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"A. Tarlecki. Moving between logical systems. In Recent Trend's in Data Type Specification, pages 478\u2013502. Springer, LNCS 1130, 1996.","DOI":"10.1007\/3-540-61629-2_59"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"91","author":"A. Tarlecki","year":"1991","unstructured":"A. Tarlecki, R.M. Burstall, and J.A. Goguen. Some fundamental algebraic tools for the semantics of computation. Part III: Indexed categories. TCS, 91:239\u2013264, 1991.","journal-title":"TCS"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"U. Wolter. Institutional frames. In Recent Trends in Data Type Specification, pages 469\u2013482. Springer, LNCS 906, 1995.","DOI":"10.1007\/BFb0014445"}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:57:50Z","timestamp":1586570270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026987"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634553","9783540695523"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0026987","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}