{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:29:57Z","timestamp":1767929397919,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642315848","type":"print"},{"value":"9783642315855","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31585-5_22","type":"book-chapter","created":{"date-parts":[[2012,6,23]],"date-time":"2012-06-23T11:56:29Z","timestamp":1340452589000},"page":"214-226","source":"Crossref","is-referenced-by-count":9,"title":["Discrete Generalised Polynomial Functors"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"Fiore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-36576-1_2","volume-title":"Foundations of Software Science and Computational Structures","author":"M. Abbott","year":"2003","unstructured":"Abbott, M., Altenkirch, T., Ghani, N.: Categories of Containers. In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol.\u00a02620, pp. 23\u201338. Springer, Heidelberg (2003)"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-44904-3_2","volume-title":"Typed Lambda Calculi and Applications","author":"M. Abbott","year":"2003","unstructured":"Abbott, M., Altenkirch, T., Ghani, N., McBride, C.: Derivatives of Containers. In: Hofmann, M.O. (ed.) TLCA 2003. LNCS, vol.\u00a02701, pp. 16\u201330. Springer, Heidelberg (2003)"},{"key":"22_CR3","first-page":"1","volume":"65","author":"M. Abbott","year":"2005","unstructured":"Abbott, M., Altenkirch, T., Ghani, N., McBride, C.: \u2202 is for data - differentiating data structures. Fundamenta Informaticae\u00a065, 1\u201328 (2005)","journal-title":"Fundamenta Informaticae"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Altenkirch, T., Morris, P.: Indexed containers. In: LICS 2009, pp. 277\u2013285 (2009)","DOI":"10.1109\/LICS.2009.33"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1017\/S0960129505004718","volume":"15","author":"G.L. Cattani","year":"2005","unstructured":"Cattani, G.L., Winskel, G.: Profunctors, open maps, and bisimulation. Mathematical Structures in Computer Science\u00a015, 553\u2013614 (2005)","journal-title":"Mathematical Structures in Computer Science"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Crole, R.: Categories for Types. Cambridge University Press (1994)","DOI":"10.1017\/CBO9781139172707"},{"key":"22_CR7","unstructured":"Danvy, O., Dybjer, P. (eds.): Preliminary Proceedings of the APPSEM Workshop on Normalisation by Evaluation (1998)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Day, B.: On closed categories of functors. In: Reports of the Midwest Category Seminar IV. LNM, vol.\u00a0137, pp. 1\u201338. Springer (1970)","DOI":"10.1007\/BFb0060438"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Fiore, M.: Semantic analysis of normalisation by evaluation for typed lambda calculus. In: PPDP 2002, pp. 26\u201337 (2002)","DOI":"10.1145\/571157.571161"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"1704","DOI":"10.1016\/j.tcs.2008.12.052","volume":"410","author":"M. Fiore","year":"2008","unstructured":"Fiore, M., Hur, C.-K.: On the construction of free algebras for equational systems. Theoretical Computer Science\u00a0410, 1704\u20131729 (2008)","journal-title":"Theoretical Computer Science"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-642-15205-4_26","volume-title":"Computer Science Logic","author":"M. Fiore","year":"2010","unstructured":"Fiore, M., Hur, C.-K.: Second-Order Equational Logic (Extended Abstract). In: Dawar, A., Veith, H. (eds.) CSL 2010. LNCS, vol.\u00a06247, pp. 320\u2013335. Springer, Heidelberg (2010)"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-15155-2_33","volume-title":"Mathematical Foundations of Computer Science 2010","author":"M. Fiore","year":"2010","unstructured":"Fiore, M., Mahmoud, O.: Second-Order Algebraic Theories. In: Hlin\u011bn\u00fd, P., Ku\u010dera, A. (eds.) MFCS 2010. LNCS, vol.\u00a06281, pp. 368\u2013380. Springer, Heidelberg (2010)"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1006\/inco.2002.2968","volume":"179","author":"M. Fiore","year":"2002","unstructured":"Fiore, M., Moggi, E., Sangiorgi, D.: A fully-abstract model for the pi-calculus. Information and Computation\u00a0179, 76\u2013117 (2002)","journal-title":"Information and Computation"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Fiore, M., Plotkin, G., Power, A.J.: Complete cuboidal sets in Axiomatic Domain Theory. In: LICS 1997, pp. 268\u2013279 (1997)","DOI":"10.1109\/LICS.1997.614954"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Fiore, M., Plotkin, G., Turi, D.: Abstract syntax and variable binding. In: LICS 1999, pp. 193\u2013202 (1999)","DOI":"10.1109\/LICS.1999.782615"},{"key":"22_CR16","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0304-3975(00)00221-8","volume":"264","author":"M. Fiore","year":"2001","unstructured":"Fiore, M., Rosolini, G.: Domains in $\\boldmath\\cal H$ . Theoretical Computer Science\u00a0264, 171\u2013193 (2001)","journal-title":"Theoretical Computer Science"},{"key":"22_CR17","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.\u00a03085, pp. 210\u2013225. Springer, Heidelberg (2004)"},{"key":"22_CR18","unstructured":"Gambino, N., Kock, J.: Polynomial functors and polynomial monads. ArXiv:0906:4931 (2010)"},{"key":"22_CR19","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 \u03bb-calculus. Annals of Pure and Applied Logic\u00a037, 129\u2013177 (1988)","journal-title":"Annals of Pure and Applied Logic"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Grothendieck, A.: Cat\u00e9gories fibr\u00e9es et descente. In: SGA1. LNM, vol.\u00a0224. Springer (1971)","DOI":"10.1007\/BFb0058662"},{"key":"22_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-642-19805-2_26","volume-title":"Foundations of Software Science and Computational Structures","author":"M. Hamana","year":"2011","unstructured":"Hamana, M.: Polymorphic Abstract Syntax via Grothendieck Construction. In: Hofmann, M. (ed.) FOSSACS 2011. LNCS, vol.\u00a06604, pp. 381\u2013395. Springer, Heidelberg (2011)"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Hamana, M., Fiore, M.: A foundation for GADTs and Inductive Families: Dependent polynomial functor approach. In: WGP 2011, pp. 59\u201370 (2011)","DOI":"10.1145\/2036918.2036927"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Hofmann, M.: Syntax and semantics of dependent types. In: Semantics and Logics of Computation, pp. 79\u2013130. Cambridge University Press (1997)","DOI":"10.1017\/CBO9780511526619.004"},{"key":"22_CR24","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1017\/S0956796897002864","volume":"7","author":"G. Huet","year":"1997","unstructured":"Huet, G.: The zipper. Journal of Functional Programming\u00a07, 549\u2013554 (1997)","journal-title":"Journal of Functional Programming"},{"key":"22_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BFb0037110","volume-title":"Typed Lambda Calculi and Applications","author":"A. Jung","year":"1993","unstructured":"Jung, A., Tiuryn, J.: A New Characterization of Lambda Definability. In: Bezem, M., Groote, J.F. (eds.) TLCA 1993. LNCS, vol.\u00a0664, pp. 245\u2013257. Springer, Heidelberg (1993)"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W.: Adjointness in foundations. Dialectica 23 (1969)","DOI":"10.1111\/j.1746-8361.1969.tb01194.x"},{"key":"22_CR27","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BF02924844","volume":"43","author":"F.W. Lawvere","year":"1973","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic, and closed categories. Rend. del Sem. Mat. e Fis. di Milano\u00a043, 135\u2013166 (1973)","journal-title":"Rend. del Sem. Mat. e Fis. di Milano"},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W.: Continuously variable sets: algebraic geometry = geometric logic. In: Proc. Logic Colloq. 1973, pp. 135\u2013156 (1975)","DOI":"10.1016\/S0049-237X(08)71947-5"},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"Mac Lane, S.: Categories for the working mathematician. Springer (1971)","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"22_CR30","unstructured":"McBride, C.: The derivative of a regular type is its type of one-hole contexts (2001) (unpublished)"},{"key":"22_CR31","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation\u00a093, 55\u201392 (1991)","journal-title":"Information and Computation"},{"key":"22_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-45931-6_24","volume-title":"Foundations of Software Science and Computation Structures","author":"G. Plotkin","year":"2002","unstructured":"Plotkin, G., Power, A.J.: Notions of Computation Determine Monads. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"key":"22_CR33","doi-asserted-by":"crossref","unstructured":"Reynolds, J.: Using functor categories to generate intermediate code. In: POPL 1995, pp. 25\u201336 (1995)","DOI":"10.1145\/199448.199452"},{"key":"22_CR34","unstructured":"Scott, D.: Relating theories of the \u03bb-calculus. In: To H.B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalisms. Academic Press (1980)"},{"key":"22_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-31982-5_10","volume-title":"Foundations of Software Science and Computational Structures","author":"I. Stark","year":"2005","unstructured":"Stark, I.: Free-Algebra Models for the \u03c0-Calculus. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 155\u2013169. Springer, Heidelberg (2005)"},{"key":"22_CR36","doi-asserted-by":"publisher","first-page":"1393","DOI":"10.1080\/00927879308824627","volume":"21","author":"D. Tambara","year":"1993","unstructured":"Tambara, D.: On multiplicative transfer. Comm. Alg.\u00a021, 1393\u20131420 (1993)","journal-title":"Comm. Alg."},{"key":"22_CR37","first-page":"373","volume":"9","author":"E. Wagner","year":"2002","unstructured":"Wagner, E.: Algebraic specifications: some old history and new thoughts. Nordic J. of Computing\u00a09, 373\u2013404 (2002)","journal-title":"Nordic J. of Computing"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages, and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31585-5_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T13:49:39Z","timestamp":1743601779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31585-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642315848","9783642315855"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31585-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}