{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:12:10Z","timestamp":1725516730899},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705826"},{"type":"electronic","value":"9783540705833"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70583-3_23","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"271-282","source":"Crossref","is-referenced-by-count":4,"title":["Attribute Grammars and Categorical Semantics"],"prefix":"10.1007","author":[{"given":"Shin-ya","family":"Katsumata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"CONCUR 1996","author":"S. Abramsky","year":"1996","unstructured":"Abramsky, S.: Retracting some paths in process algebra. In: CONCUR 1996. LNCS, vol.\u00a01119, pp. 1\u201317. Springer, Heidelberg (1996)"},{"issue":"5","key":"23_CR2","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1017\/S0960129502003730","volume":"12","author":"S. Abramsky","year":"2002","unstructured":"Abramsky, S., Haghverdi, E., Scott, P.J.: Geometry of interaction and linear combinatory algebras. Math. Struct. in Comput. Sci.\u00a012(5), 625\u2013665 (2002)","journal-title":"Math. Struct. in Comput. Sci."},{"issue":"1","key":"23_CR3","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1006\/inco.1994.1041","volume":"111","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S., Jagadeesan, R.: New foundations for the geometry of interaction. Inf. Comput.\u00a0111(1), 53\u2013119 (1994)","journal-title":"Inf. Comput."},{"issue":"1","key":"23_CR4","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S0019-9958(76)90390-9","volume":"31","author":"E.S. Bainbridge","year":"1976","unstructured":"Bainbridge, E.S.: Feedbacks and generalized logic. Inf. Control\u00a031(1), 75\u201396 (1976)","journal-title":"Inf. Control"},{"key":"23_CR5","volume-title":"Iteration theories; the equational logic of iterative processes","author":"S.L. Bloom","year":"1993","unstructured":"Bloom, S.L., \u00c9sik, Z.: Iteration theories; the equational logic of iterative processes. Springer, Heidelberg (1993)"},{"issue":"1","key":"23_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(95)00010-0","volume":"155","author":"S.L. Bloom","year":"1996","unstructured":"Bloom, S.L., \u00c9sik, Z.: Fixed-point operations on ccc\u2019s. part I. Theor. Comput. Sci.\u00a0155(1), 1\u201338 (1996)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"23_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/225540.225544","volume":"18","author":"J. Boyland","year":"1996","unstructured":"Boyland, J.: Conditional attribute grammars. ACM Trans. Program. Lang. Syst.\u00a018(1), 73\u2013108 (1996)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01744285","volume":"13","author":"L.M. Chirica","year":"1979","unstructured":"Chirica, L.M., Martin, D.F.: An order-algebraic definition of Knuthian semantics. Math. Sys. Theory\u00a013, 1\u201327 (1979)","journal-title":"Math. Sys. Theory"},{"issue":"1","key":"23_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(88)90002-8","volume":"78","author":"B. Courcelle","year":"1988","unstructured":"Courcelle, B., Deransart, P.: Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming. Inf. Comput.\u00a078(1), 1\u201355 (1988)","journal-title":"Inf. Comput."},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Attribute Grammars; Definitions, Systems and Bibliography","author":"P. Deransart","year":"1988","unstructured":"Deransart, P., Jourdan, M., Lorho, B.: Attribute Grammars. LNCS. vol.\u00a0323. Springer, Heidelberg (1988)"},{"issue":"1","key":"23_CR11","first-page":"20","volume":"2","author":"M. Fokkinga","year":"1991","unstructured":"Fokkinga, M., Jeuring, J., Meertens, L., Meijer, E.: A translation from attribute grammars to catamorphisms. The Squiggolist\u00a02(1), 20\u201326 (1991)","journal-title":"The Squiggolist"},{"key":"23_CR12","volume-title":"Logic Colloquium 1988","author":"J.-Y. Girard","year":"1989","unstructured":"Girard, J.-Y.: Geometry of Interaction I: Interpretation of System F. In: Ferro, R., et al. (eds.) Logic Colloquium 1988. North-Holland, Amsterdam (1989)"},{"key":"23_CR13","unstructured":"Hasegawa, M.: On traced monoidal closed categories. Invited talk at Traced Monoidal Categories, Network Algebras, and Applications (2007)"},{"key":"23_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0865-8","volume-title":"Models of Sharing Graphs: A Categorical Semantics of let and letrec","author":"M. Hasegawa","year":"1999","unstructured":"Hasegawa, M.: Models of Sharing Graphs: A Categorical Semantics of let and letrec. Springer, Heidelberg (1999)"},{"key":"23_CR15","unstructured":"Jacobs, B., Uustalu, T.: Semantics of grammars and attributes via initiality. In: Reflections on Type Theory, Lambda Calculus, and the Mind. Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, pp. 181\u2013196. Radboud University (2007)"},{"issue":"3","key":"23_CR16","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1017\/S0305004100074338","volume":"119","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Street, R., Verity, D.: Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society\u00a0119(3), 447\u2013468 (1996)","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"key":"23_CR17","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"G.M. Kelly","year":"1980","unstructured":"Kelly, G.M., Laplaza, M.L.: Coherence for compact closed categories. Journal of Pure and Applied Algebra\u00a019, 193\u2013213 (1980)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"2","key":"23_CR18","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages. Math. Sys. Theory\u00a02(2), 127\u2013145 (1968); See Math. Sys. Theory, 5(1) 95\u201396, 1971 for a correction","journal-title":"Math. Sys. Theory"},{"key":"23_CR19","series-title":"London Math. Soc. Lecture Note Series","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511525896","volume-title":"Higher Operads, Higher Categories","author":"T. Leinster","year":"2004","unstructured":"Leinster, T.: Higher Operads, Higher Categories. London Math. Soc. Lecture Note Series, vol.\u00a0298. Cambridge University Press, Cambridge (2004)"},{"key":"23_CR20","series-title":"Graduate Texts in Mathematics","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1998","unstructured":"MacLane, S.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics, vol.\u00a05. Springer, Heidelberg (1998)","edition":"2"},{"key":"23_CR21","unstructured":"Selinger, P.: A note on Bainbridge\u2019s power set construction (manuscript, 1998)"},{"key":"23_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-54572-7_10","volume-title":"Attribute Grammars, Applications and Systems","author":"S.D. Swierstra","year":"1991","unstructured":"Swierstra, S.D., Vogt, H.: Higher order attribute grammars. In: Alblas, H., Melichar, B. (eds.) SAGA School 1991. LNCS, vol.\u00a0545, pp. 256\u2013296. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70583-3_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:23:32Z","timestamp":1620015812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70583-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705826","9783540705833"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70583-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}