{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T07:44:46Z","timestamp":1744011886335,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319309354"},{"type":"electronic","value":"9783319309361"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30936-1_8","type":"book-chapter","created":{"date-parts":[[2016,3,29]],"date-time":"2016-03-29T16:27:44Z","timestamp":1459268864000},"page":"152-168","source":"Crossref","is-referenced-by-count":1,"title":["Dragging Proofs Out of Pictures"],"prefix":"10.1007","author":[{"given":"Ralf","family":"Hinze","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Marsden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,25]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BFb0083084","volume-title":"Seminar on Triples and Categorical Homotopy Theory","author":"J Beck","year":"1969","unstructured":"Beck, J.: Distributive laws. In: Appelgate, H., et al. (eds.) Seminar on Triples and Categorical Homotopy Theory. Lecture Notes in Mathematics, vol. 80, pp. 119\u2013140. Springer, Heidelberg (1969)"},{"key":"8_CR2","unstructured":"Cheng, E.: Iterated distributive laws. ArXiv e-prints, October 2007"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Hinze, R., Marsden, D.: Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. Jos\u00e9 Oliveira Festschrift (2015, to appear)","DOI":"10.1016\/j.jlamp.2015.12.004"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0001-8708(91)90003-P","volume":"88","author":"A Joyal","year":"1991","unstructured":"Joyal, A., Street, R.: Geometry of tensor calculus I. Adv. Math. 88, 55\u2013113 (1991)","journal-title":"Adv. Math."},{"key":"8_CR5","series-title":"Workshops in Computing","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-1-4471-3215-8_12","volume-title":"Proceedings of the 1992 Glasgow Workshop on Functional Programming","author":"DJ King","year":"1993","unstructured":"King, D.J., Wadler, P.: Combining monads. In: Launchbury, J., Sansom, P. (eds.) Proceedings of the 1992 Glasgow Workshop on Functional Programming. Workshops in Computing, pp. 134\u2013143. Springer, Berlin\/Heidelberg (1993)"},{"key":"8_CR6","series-title":"Sorting and Searching","volume-title":"The Art of Computer Programming","author":"DE Knuth","year":"1998","unstructured":"Knuth, D.E.: The Art of Computer Programming. Sorting and Searching, vol. 3, 2nd edn. Addison-Wesley Publishing Company, Reading (1998)","edition":"2"},{"key":"8_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9860-1","volume-title":"Algebraic Theories","author":"EG Manes","year":"1976","unstructured":"Manes, E.G.: Algebraic Theories. Springer, Heidelberg (1976)"},{"key":"8_CR8","unstructured":"Marsden, D.: Category theory using string diagrams (2014). arXiv preprint \n                    arXiv:1401.7220"},{"key":"8_CR9","first-page":"221","volume-title":"Combinatorial Mathematics and its Applications","author":"R Penrose","year":"1971","unstructured":"Penrose, R.: Applications of negative dimensional tensors. In: Welsh, D.J.A. (ed.) Combinatorial Mathematics and its Applications, pp. 221\u2013244. Academic Press, New York (1971)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., Wadler, P.: Imperative functional programming. In: Proceedings of the 20th Annual ACM Symposium on Principles of Programming Languages, pp. 71\u201384, Charleston, South Carolina, January 1993","DOI":"10.1145\/158511.158524"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Comprehending monads. In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice, pp. 61\u201378. ACM Press, June 1990","DOI":"10.1145\/91556.91592"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Wadler, P.: The essence of functional programming. In: Proceedings of the 19th Annual ACM Symposium on Principles of Programming Languages, Sante Fe, New Mexico, pp. 1\u201314, January 1992","DOI":"10.1145\/143165.143169"}],"container-title":["Lecture Notes in Computer Science","A List of Successes That Can Change the World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30936-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T18:27:41Z","timestamp":1559413661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30936-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319309354","9783319309361"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30936-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}