{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T18:13:59Z","timestamp":1759515239996,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319689524"},{"type":"electronic","value":"9783319689531"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68953-1_8","type":"book-chapter","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T08:11:17Z","timestamp":1507795877000},"page":"91-105","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Container Combinatorics: Monads and Lax Monoidal Functors"],"prefix":"10.1007","author":[{"given":"Tarmo","family":"Uustalu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,9]]},"reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2005.06.002","volume":"342","author":"M Abbott","year":"2005","unstructured":"Abbott, M., Altenkirch, A., Ghani, N.: Containers: constructing strictly positive types. Theor. Comput. Sci. 342(1), 3\u201327 (2005). https:\/\/doi.org\/10.1016\/j.tcs.2005.06.002","journal-title":"Theor. Comput. Sci."},{"key":"8_CR2","unstructured":"Aguiar, M.: Internal Categories and Quantum Groups. Ph.D. thesis. Cornell University, Ithaca, NY (1997). http:\/\/www.math.cornell.edu\/~maguiar\/thesis2.pdf"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Ahman, D., Chapman, J., Uustalu, T.: When is a container a comonad? Log. Methods Comput. Sci. 10(3), article 14 (2014). https:\/\/doi.org\/10.2168\/lmcs-10(3:14)2014","DOI":"10.2168\/lmcs-10(3:14)2014"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Ahman, D., Uustalu, T.: Directed containers as categories. In: Atkey, R., Krishnaswami, N. (eds.) Proceedings of 6th Workshop on Mathematically Structured Functional Programming, MSFP 2016. Electron. Proc. in Theor. Comput. Sci., vol. 207, pp. 89\u201398. Open Publishing Assoc., Sydney (2016). https:\/\/doi.org\/10.4204\/eptcs.207.5","DOI":"10.4204\/eptcs.207.5"},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"Ahman, D., Uustalu, T.: Update monads: cointerpreting directed containers. In: Matthes, R., Schubert, A. (eds.) Proceedings of 19th Conference on Types for Proofs and Programs, Leibniz Int. Proc. in Inf., vol. 26, pp. 1\u201323. Dagstuhl Publishing, Saarbr\u00fccken\/Wadern (2014). https:\/\/doi.org\/10.4230\/lipics.types.2013.1","DOI":"10.4230\/lipics.types.2013.1"},{"key":"8_CR6","unstructured":"Altenkirch, T., Pinyo, G.: Monadic containers and universes (abstract). In: Kaposi, A. (ed.) Abstracts of 23rd International Conference on Types for Proofs and Programs, TYPES 2017, pp. 20\u201321. E\u00f6tv\u00f6s L\u00f3rand University, Budapest (2017)"},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Capriotti, P., Kaposi, A.: Free applicative functors. In: Levy, P., Krishnaswami, N. (eds.) Proceedings of 5th Workshop on Mathematically Structured Functional Programming, MSFP 2014, Electron. Proc. in Theor. Comput. Sci., vol. 153, pp. 2\u201330. Open Publishing Assoc., Sydney (2014). https:\/\/doi.org\/10.4204\/eptcs.153.2","DOI":"10.4204\/eptcs.153.2"},{"key":"8_CR8","unstructured":"Curien, P.-L.: Syntactic presentation of polynomial functors. Note, May 2017"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-540-24849-1_14","volume-title":"Types for Proofs and Programs","author":"N Gambino","year":"2004","unstructured":"Gambino, N., Hyland, M.: Wellfounded trees and dependent polynomial functors. In: Berardi, S., Coppo, M., Damiani, F. (eds.) TYPES 2003. LNCS, vol. 3085, pp. 210\u2013225. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24849-1_14"},{"issue":"1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1017\/S0305004112000394","volume":"154","author":"N Gambino","year":"2013","unstructured":"Gambino, N., Kock, J.: Polynomial functors and polynomial monads. Math. Proc. Cambridge Philos. Soc. 154(1), 153\u2013192 (2013). https:\/\/doi.org\/10.1017\/s0305004112000394","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"issue":"2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0168-0072(88)90025-5","volume":"37","author":"J-Y Girard","year":"1988","unstructured":"Girard, J.-Y.: Normal functors, power series and lambda-calculus. Ann. Pure Appl. Log. 37(2), 129\u2013177 (1988). https:\/\/doi.org\/10.1016\/0168-0072(88)90025-5","journal-title":"Ann. Pure Appl. Log."},{"issue":"1","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796807006326","volume":"18","author":"C McBride","year":"2008","unstructured":"McBride, C., Paterson, R.: Applicative programming with effects. J. Funct. Program. 18(1), 1\u201313 (2008). https:\/\/doi.org\/10.1017\/s0956796807006326","journal-title":"J. Funct. Program."},{"key":"8_CR13","unstructured":"Weber, M.: Polynomials in categories with pullbacks. Theor. Appl. Categ. 30, 533\u2013598 (2015). http:\/\/www.tac.mta.ca\/tac\/volumes\/30\/16\/30-16abs.html"}],"container-title":["Lecture Notes in Computer Science","Topics in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68953-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T16:11:57Z","timestamp":1634055117000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-68953-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319689524","9783319689531"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68953-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"9 December 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TTCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Topics in Theoretical Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tehran","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iran","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icttcs2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ttcs.ir","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}