{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:08:53Z","timestamp":1725516533930},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642326202"},{"type":"electronic","value":"9783642326219"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32621-9_10","type":"book-chapter","created":{"date-parts":[[2012,8,18]],"date-time":"2012-08-18T06:40:40Z","timestamp":1345272040000},"page":"127-141","source":"Crossref","is-referenced-by-count":3,"title":["Initiality for Typed Syntax and Semantics"],"prefix":"10.1007","author":[{"given":"Benedikt","family":"Ahrens","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Ahrens, B.: Modules over relative monads for syntax and semantics (2011), \n                    \n                      http:\/\/arxiv.org\/abs\/1107.5252\n                    \n                    \n                   (to be published in Math. Struct. in Comp. Science)"},{"issue":"2","key":"10_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-8(2:1)2012","volume":"8","author":"B. Ahrens","year":"2012","unstructured":"Ahrens, B.: Extended Initiality for Typed Abstract Syntax. Logical Methods in Computer Science\u00a08(2), 1\u201335 (2012)","journal-title":"Logical Methods in Computer Science"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Ahrens, B.: Initiality for Typed Syntax and Semantics. Ph.D. thesis, University of Nice Sophia Antipolis, France (2012), \n                    \n                      http:\/\/benedikt-ahrens.org","DOI":"10.1007\/978-3-642-32621-9_10"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-12032-9_21","volume-title":"Foundations of Software Science and Computational Structures","author":"T. Altenkirch","year":"2010","unstructured":"Altenkirch, T., Chapman, J., Uustalu, T.: Monads Need Not Be Endofunctors. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol.\u00a06014, pp. 297\u2013311. Springer, Heidelberg (2010)"},{"key":"10_CR5","unstructured":"Coq: The Coq Proof Assistant (2010), \n                    \n                      http:\/\/coq.inria.fr"},{"issue":"6","key":"10_CR6","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/j.ic.2006.12.002","volume":"205","author":"M. Fern\u00e1ndez","year":"2007","unstructured":"Fern\u00e1ndez, M., Gabbay, M.J.: Nominal rewriting. Information and Computation\u00a0205(6), 917\u2013965 (2007)","journal-title":"Information and Computation"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/978-3-540-73420-8_53","volume-title":"Automata, Languages and Programming","author":"M.P. Fiore","year":"2007","unstructured":"Fiore, M.P., Hur, C.-K.: Equational Systems and Free Constructions (Extended Abstract). In: Arge, L., Cachin, C., Jurdzi\u0144ski, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol.\u00a04596, pp. 607\u2013618. Springer, Heidelberg (2007)"},{"issue":"4","key":"10_CR8","first-page":"290","volume":"10","author":"N. Ghani","year":"2003","unstructured":"Ghani, N., L\u00fcth, C.: Rewriting via coinserters. Nord. J. Comput.\u00a010(4), 290\u2013312 (2003)","journal-title":"Nord. J. Comput."},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-540-73445-1_16","volume-title":"Logic, Language, Information and Computation","author":"A. Hirschowitz","year":"2007","unstructured":"Hirschowitz, A., Maggesi, M.: Modules over Monads and Linearity. In: Leivant, D., de Queiroz, R. (eds.) WoLLIC 2007. LNCS, vol.\u00a04576, pp. 218\u2013237. Springer, Heidelberg (2007)"},{"key":"10_CR10","unstructured":"Hirschowitz, A., Maggesi, M.: The algebraicity of the lambda-calculus. CoRR abs\/0704.2900 (2007), \n                    \n                      http:\/\/arxiv.org\/abs\/0704.2900"},{"issue":"5","key":"10_CR11","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1016\/j.ic.2009.07.003","volume":"208","author":"A. Hirschowitz","year":"2010","unstructured":"Hirschowitz, A., Maggesi, M.: Modules over monads and initial semantics. Inf. Comput.\u00a0208(5), 545\u2013564 (2010)","journal-title":"Inf. Comput."},{"key":"10_CR12","unstructured":"Hur, C.K.: Categorical equational systems: algebraic models and equational reasoning. Ph.D. thesis, University of Cambridge, UK (2010)"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1006\/inco.2000.2917","volume":"163","author":"J.M.E. Hyland","year":"2000","unstructured":"Hyland, J.M.E., Ong, C.H.: On full abstraction for PCF. Information and Computation\u00a0163, 285\u2013408 (2000)","journal-title":"Information and Computation"},{"issue":"3","key":"10_CR14","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G.D. Plotkin","year":"1977","unstructured":"Plotkin, G.D.: LCF considered as a programming language. Theoretical Computer Science\u00a05(3), 223\u2013255 (1977)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32621-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T23:20:00Z","timestamp":1557184800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32621-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642326202","9783642326219"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32621-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}