{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T14:49:56Z","timestamp":1775832596479,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540253884","type":"print"},{"value":"9783540319825","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31982-5_2","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T07:29:02Z","timestamp":1294990142000},"page":"25-46","source":"Crossref","is-referenced-by-count":16,"title":["Mathematical Models of Computational and Combinatorial Structures"],"prefix":"10.1007","author":[{"given":"Marcelo P.","family":"Fiore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0049-237X(08)71252-7","volume-title":"The Kleene Symposium","author":"P. Aczel","year":"1980","unstructured":"Aczel, P.: Frege structures and the notions of proposition, truth and set. In: The Kleene Symposium, pp. 31\u201360. North-Holland, Amsterdam (1980)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1006\/aima.1997.1695","volume":"135","author":"J. Baez","year":"1998","unstructured":"Baez, J., Dolan, J.: Higher-dimensional algebra III: n-categories and the algebra of opetopes. Advances in Mathematics\u00a0135, 145\u2013206 (1998)","journal-title":"Advances in Mathematics"},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-3-642-56478-9_3","volume-title":"Mathematics Unlimited - 2001 and Beyond","author":"J. Baez","year":"2001","unstructured":"Baez, J., Dolan, J.: From finite sets to Feynman diagrams. In: Engquist, B., Schmid, W. (eds.) Mathematics Unlimited - 2001 and Beyond, pp. 29\u201350. Springer, Heidelberg (2001)"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0097-3165(87)90007-0","volume":"46","author":"F. Bergeron","year":"1987","unstructured":"Bergeron, F.: Une combinatoire du pl\u00e9thysme. Journal of Combinatorial Theory (Series\u00a0A)\u00a046, 291\u2013305 (1987)","journal-title":"Journal of Combinatorial Theory (Series\u00a0A)"},{"key":"2_CR5","series-title":"Encyclopedia of mathematics and its applications","volume-title":"Combinatorial species and tree-like structures","author":"F. Bergeron","year":"1998","unstructured":"Bergeron, F., Labelle, G., Leroux, P.: Combinatorial species and tree-like structures. Encyclopedia of mathematics and its applications, vol.\u00a067. Cambridge University Press, Cambridge (1998)"},{"key":"2_CR6","unstructured":"Blute, R., Panangaden, P.: Proof nets and Feynman diagrams. Available from the second author (1998)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Cattani, G., Winskel, G.: Profunctors, open maps and bisimulation. BRICS Report Series RS-04-22, University of Aarhus (2004)","DOI":"10.7146\/brics.v11i22.21847"},{"key":"2_CR8","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0060438","volume-title":"Reports of the Midwest Category Seminar IV","author":"B. Day","year":"1970","unstructured":"Day, B.: On closed categories of functors. In: Reports of the Midwest Category Seminar IV. Lecture Notes in Mathematics, vol.\u00a0137, pp. 1\u201338. Springer, Heidelberg (1970)"},{"key":"2_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2572-0","volume-title":"Isomorphisms of types: from \u03bb-calculus to information retrieval and language design","author":"R. Cosmo Di","year":"1995","unstructured":"Di Cosmo, R.: Isomorphisms of types: from \u03bb-calculus to information retrieval and language design. Birkh\u00e4user, Basel (1995)"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(03)00392-X","volume":"309","author":"T. Ehrhard","year":"2003","unstructured":"Ehrhard, T., Regnier, L.: The differential lambda calculus. Theoretical Computer Science\u00a0309, 1\u201341 (2003)","journal-title":"Theoretical Computer Science"},{"key":"2_CR11","unstructured":"Fiore, M.: Notes on combinatorial functors. Draft available electronically (January 2001)"},{"key":"2_CR12","unstructured":"Fiore, M.: Rough notes on presheaves. Manuscript available electronically (July 2001)"},{"key":"2_CR13","first-page":"26","volume-title":"Proceedings of the 4th International Conference on Principles and Practice of Declarative Programming (PPDP 2002)","author":"M. Fiore","year":"2002","unstructured":"Fiore, M.: Semantic analysis of normalisation by evaluation for typed lambda calculus. In: Proceedings of the 4th International Conference on Principles and Practice of Declarative Programming (PPDP 2002), pp. 26\u201337. ACM Press, New York (2002)"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/964001.964008","volume-title":"Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL\u00a02004)","author":"M. Fiore","year":"2004","unstructured":"Fiore, M.: Isomorphisms of generic recursive polynomial types. In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL\u00a02004), pp. 77\u201388. ACM Press, New York (2004)"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1109\/LICS.2002.1029824","volume-title":"Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science\u00a0(LICS 2002)","author":"M. Fiore","year":"2002","unstructured":"Fiore, M., Di Cosmo, R., Balat, V.: Remarks on isomorphisms in typed lambda calculi with empty and sum types. In: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science\u00a0(LICS 2002), pp. 147\u2013156. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"6","key":"2_CR16","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1016\/j.jsc.2003.10.002","volume":"37","author":"M. Fiore","year":"2004","unstructured":"Fiore, M., Leinster, T.: An objective representation of the Gaussian integers. Journal of Symbolic Computation\u00a037(6), 707\u2013716 (2004)","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0890-5401(02)92907-X","volume":"178","author":"M. Fiore","year":"2002","unstructured":"Fiore, M., Moggi, E., Sangiorgi, D.: A fully-abstract model for the pi-calculus. Information and Computation\u00a0178, 1\u201342 (2002); Extended abstract. Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 43\u201354. IEEE Computer Society Press, Los Alamitos (1996)","journal-title":"Information and Computation"},{"key":"2_CR18","first-page":"193","volume-title":"Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science\u00a0(LICS 1999)","author":"M. Fiore","year":"1999","unstructured":"Fiore, M., Plotkin, G., Turi, D.: Abstract syntax and variable binding. In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science\u00a0(LICS 1999), pp. 193\u2013202. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1109\/LICS.2001.932486","volume-title":"Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science\u00a0(LICS 2001)","author":"M. Fiore","year":"2001","unstructured":"Fiore, M., Turi, D.: Semantics of name and value passing. In: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science\u00a0(LICS 2001), pp. 93\u2013104. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s001650200016","volume":"13","author":"M.J. Gabbay","year":"2002","unstructured":"Gabbay, M.J., Pitts, A.: A new approach to abstract syntax with variable binding. Formal Aspects of Computing\u00a013, 341\u2013363 (2002); See also A new approach to abstract syntax involving binders. In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science\u00a0(LICS 1999), pp. 214\u2013224. IEEE Computer Society Press, Los Almitos (1999)","journal-title":"Formal Aspects of Computing"},{"key":"2_CR21","unstructured":"Geroch, R.: Mathematical Physics. Chicago Lectures in Physics. The University of Chicago Press (1985)"},{"key":"2_CR22","first-page":"204","volume-title":"Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science\u00a0(LICS 1999)","author":"M. Hofmann","year":"1999","unstructured":"Hofmann, M.: Semantical analysis of higher order abstract syntax. In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science\u00a0(LICS 1999), pp. 204\u2013213. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0022-4049(86)90005-8","volume":"43","author":"G. Im","year":"1986","unstructured":"Im, G., Kelly, G.M.: A universal property of the convolution monoidal structure. Journal of Pure and Applied Algebra\u00a043, 75\u201388 (1986)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"2_CR24","series-title":"Oxford Logic Guides","volume-title":"Sketches of an Elephant: A Topos Theory Compendium","author":"P. Johnstone","year":"2002","unstructured":"Johnstone, P.: Sketches of an Elephant: A Topos Theory Compendium. Oxford Logic Guides, vol.\u00a043. Oxford University Press, Oxford (2002)"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0001-8708(81)90052-9","volume":"42","author":"A. Joyal","year":"1981","unstructured":"Joyal, A.: Une theorie combinatoire des s\u00e9ries formelles. Advances in Mathematics\u00a042, 1\u201382 (1981)","journal-title":"Advances in Mathematics"},{"key":"2_CR26","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/BFb0072514","volume-title":"Combinatoire \u00e9num\u00e9rative","author":"A. Joyal","year":"1986","unstructured":"Joyal, A.: Foncteurs analytiques et espec\u00e8s de structures. In: Combinatoire \u00e9num\u00e9rative. Lecture Notes in Mathematics, vol.\u00a01234, pp. 126\u2013159. Springer, Heidelberg (1986)"},{"key":"2_CR27","series-title":"London Mathematical Society Lecture Notes Series","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1017\/CBO9780511525902.010","volume-title":"Applications of Categories in Computer Science","author":"G.M. Kelly","year":"1992","unstructured":"Kelly, G.M.: Clubs and data-type constructors. In: Applications of Categories in Computer Science. London Mathematical Society Lecture Notes Series, vol.\u00a0177, pp. 163\u2013190. Cambridge University Press, Cambridge (1992)"},{"key":"2_CR28","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); Also in Reprints in Theory and Applications of Categories 1, 1\u201337 (2002)","journal-title":"Rend. del Sem. Mat. e Fis. di Milano"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W.: Qualitative distinctions between some toposes of generalized graphs. In: Proceedings of the AMS 1987 Symposium on Categories in Computer Science and Logic. Contemporary Mathematics, vol.\u00a092, pp. 261\u2013299 (1989)","DOI":"10.1090\/conm\/092\/1003203"},{"key":"2_CR30","volume-title":"Sets for Mathematics","author":"F.W. Lawvere","year":"2001","unstructured":"Lawvere, F.W., Rosebrugh, R.: Sets for Mathematics. Cambridge University Press, Cambridge (2001)"},{"key":"2_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971)"},{"key":"2_CR32","volume-title":"Universitext","author":"S. Mac Lane","year":"1992","unstructured":"Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Universitext. Springer, Heidelberg (1992)"},{"issue":"2","key":"2_CR33","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1006\/aima.1996.0073","volume":"123","author":"M. M\u00e9ndez","year":"1996","unstructured":"M\u00e9ndez, M.: Species on digraphs. Advances in Mathematics\u00a0123(2), 243\u2013275 (1996)","journal-title":"Advances in Mathematics"},{"key":"2_CR34","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/0097-3165(93)90090-U","volume":"64","author":"M. M\u00e9ndez","year":"1993","unstructured":"M\u00e9ndez, M., Nava, O.: Colored species, c-monoids and plethysm,\u00a0I. Journal of Combinatorial Theory (Series\u00a0A)\u00a064, 102\u2013129 (1993)","journal-title":"Journal of Combinatorial Theory (Series\u00a0A)"},{"issue":"5","key":"2_CR35","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1023\/A:1025750816098","volume":"11","author":"M. Menni","year":"2003","unstructured":"Menni, M.: About \u0418-quantifiers. Applied Categorical Structures\u00a011(5), 421\u2013445 (2003)","journal-title":"Applied Categorical Structures"},{"key":"2_CR36","first-page":"397","volume":"11","author":"M. Menni","year":"2003","unstructured":"Menni, M.: Symmetric monoidal completions and the exponential principle among labeled combinatorial structures. Theory and Applications of Categories\u00a011, 397\u2013419 (2003)","journal-title":"Theory and Applications of Categories"},{"key":"2_CR37","series-title":"Monographs in Computer Science","volume-title":"Computer Systems: Theory, Technology and Applications","author":"R. Milner","year":"2003","unstructured":"Milner, R.: What\u2019s in a name? In: Computer Systems: Theory, Technology and Applications. Monographs in Computer Science. Springer, Heidelberg (2003)"},{"issue":"1","key":"2_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I and II. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"2_CR39","unstructured":"Moggi, E.: An abstract view of programming languages. LFCS report ECS-LFCS-90-113, University of Edinburgh (1990)"},{"key":"2_CR40","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0001-8708(85)90049-0","volume":"58","author":"O. Nava","year":"1985","unstructured":"Nava, O., Rota, G.-C.: Plethysm, categories and combinatorics. Advances in Mathematics\u00a058, 61\u201388 (1985)","journal-title":"Advances in Mathematics"},{"key":"2_CR41","first-page":"315","volume-title":"Distributed Systems","author":"R. Needham","year":"1993","unstructured":"Needham, R.: Distributed Systems, 2nd edn., ch.\u00a012, pp. 315\u2013328. Addison-Wesley, Reading (1993)","edition":"2"},{"key":"2_CR42","volume-title":"Algebraic Methods in Semantics","author":"F. Oles","year":"1985","unstructured":"Oles, F.: Type algebras, functor categories and block structure. In: Algebraic Methods in Semantics. Cambridge University Press, Cambridge (1985)"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Pfenning, F., Elliot, C.: Higher-order abstract syntax. In: Proceedings of the ACM\u00a0SIGPLAN 1988 Symposium on Language Design and Implementation (1988)","DOI":"10.1145\/53990.54010"},{"key":"2_CR44","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0097-3165(93)90073-H","volume":"62","author":"D. Rajan","year":"1993","unstructured":"Rajan, D.: The adjoints to the derivative functor on species. Journal of combinatorial theory (Series\u00a0A)\u00a062, 93\u2013106 (1993)","journal-title":"Journal of combinatorial theory (Series\u00a0A)"},{"key":"2_CR45","first-page":"345","volume-title":"Proceedings of the International Symposium on Algorithmic Languages","author":"J. Reynolds","year":"1981","unstructured":"Reynolds, J.: The essence of Algol. In: Proceedings of the International Symposium on Algorithmic Languages, pp. 345\u2013372. North-Holland, Amsterdam (1981)"},{"key":"2_CR46","unstructured":"Stark, I.: Names and Higher-Order Functions. Ph.D.\u00a0thesis, University of Cambridge (1994)"},{"key":"2_CR47","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/LICS.1996.561301","volume-title":"Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science\u00a0(LICS 1996)","author":"I. Stark","year":"1996","unstructured":"Stark, I.: A fully abstract domain model for the pi-calculus. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science\u00a0(LICS 1996), pp. 36\u201342. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Street, R.: The role of Michael Batanin\u2019s monoidal globular categories. In: Higher Category Theory. Contemporary Mathematics, vol.\u00a0230, pp. 99\u2013116. A.M.S. (1998)","DOI":"10.1090\/conm\/230\/03340"},{"key":"2_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1007\/3-540-44612-5_62","volume-title":"Mathematical Foundations of Computer Science 2000","author":"M. Tanaka","year":"2000","unstructured":"Tanaka, M.: Abstract syntax and variable binding for linear binders. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol.\u00a01893, pp. 670\u2013679. Springer, Heidelberg (2000)"},{"key":"2_CR50","unstructured":"Yong, S.: A Framework for Binding Operators. Ph.D.\u00a0thesis (LFCS report ECS-LFCS-92-207), University of Edinburgh (1992)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31982-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:32:54Z","timestamp":1605760374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31982-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253884","9783540319825"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31982-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}