{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T22:26:01Z","timestamp":1776205561535,"version":"3.50.1"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Categorical Structures"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1023\/a:1025750816098","type":"journal-article","created":{"date-parts":[[2003,10,24]],"date-time":"2003-10-24T18:33:40Z","timestamp":1067020420000},"page":"421-445","source":"Crossref","is-referenced-by-count":13,"title":["About \u0418-quantifiers"],"prefix":"10.1007","volume":"11","author":[{"given":"Mat\u00edas","family":"Menni","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5123435_CR1","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0058579","volume-title":"Exact Categories and Categories of Sheaves","author":"M. Barr","year":"1971","unstructured":"Barr, M., Grillet, P. A. and van Osdol, D. H.: Exact Categories and Categories of Sheaves, Lecture Notes in Mathematics 236, Springer-Verlag, New York, 1971."},{"key":"5123435_CR2","doi-asserted-by":"crossref","unstructured":"Bergeron, F., Labelle, G. and Leroux, P.: Combinatorial Species and Tree-Like Structures, Vol. 67, Cambridge University Press, 1998.","DOI":"10.1017\/CBO9781107325913"},{"key":"5123435_CR3","doi-asserted-by":"crossref","unstructured":"Borceux, F.: Handbook of Categorical Algebra 2, Encyclopedia of Mathematics and its Applications 51, Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511525858"},{"key":"5123435_CR4","series-title":"Lecture Notes in Mathematics","first-page":"1","volume-title":"Reports of the Midwest Category Seminar","author":"B. Day","year":"1970","unstructured":"Day, B.: On closed categories of functors, in Reports of the Midwest Category Seminar, Lecture Notes in Mathematics 137, Springer-Verlag, New York, 1970, pp. 1\u201338."},{"key":"5123435_CR5","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/978-3-642-99902-4_22","volume-title":"Proceedings of the Conference on Categorical Algebra, La Jolla 1965","author":"S. Eilenberg","year":"1966","unstructured":"Eilenberg, S. and Kelly, G. M.: Closed categories, in Proceedings of the Conference on Categorical Algebra, La Jolla 1965, Springer, New York, 1966, pp. 421\u2013562."},{"key":"5123435_CR6","unstructured":"Fiore, M.: Notes on combinatorial functors, Draft, January 2001."},{"key":"5123435_CR7","volume-title":"14th Annual Symposium on Logic in Computer Science","author":"M. Fiore","year":"1999","unstructured":"Fiore, M., Plotkin, G. D. and Turi, D.: Abstract syntax and variable binding, in 14th Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, Washington, 1999."},{"key":"5123435_CR8","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/s001650200016","volume":"13","author":"J. Gabbay","year":"2002","unstructured":"Gabbay, J. and Pitts, A.M.: A new approach to abstract syntax with variable binding, Formal Aspects of Computing\n13 (2002), 341\u2013363. Special issue in honour of Rod Burstall.","journal-title":"Formal Aspects of Computing"},{"key":"5123435_CR9","volume-title":"14th Annual Symposium on Logic in Computer Science","author":"M. Hofmann","year":"1999","unstructured":"Hofmann, M.: Semantical analysis of higher order abstract syntax, in 14th Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, Washington, 1999."},{"key":"5123435_CR10","unstructured":"Johnstone, P. T.: Topos Theory, Academic Press, 1977."},{"key":"5123435_CR11","doi-asserted-by":"crossref","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\n42 (1981), 1\u201382.","journal-title":"Advances in Mathematics"},{"issue":"10","key":"5123435_CR12","first-page":"251","volume":"5","author":"A. Kock","year":"1999","unstructured":"Kock, A. and Reyes, G. E.: Aspects of fractional exponent functors, Theory and Applications of Categories\n5(10) (1999), 251\u2013265.","journal-title":"Theory and Applications of Categories"},{"key":"5123435_CR13","unstructured":"Lawvere, F. W.: Adjoints in and among bicategories, in Logic and Algebra, Lecture Notes in Pure and Applied Algebra 180, Marcel Dekker, Inc., 1996, pp. 181\u2013189. Proceedings of the 1994 Siena conference in memory of Roberto Magari."},{"key":"5123435_CR14","series-title":"Graduate Texts in Mathematics","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, Graduate Texts in Mathematics, Springer-Verlag, New York, 1971."},{"key":"5123435_CR15","unstructured":"Mac Lane, S. and Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Universitext, Springer-Verlag, 1992."},{"key":"5123435_CR16","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0001-8708(85)90049-0","volume":"58","author":"O. Nava","year":"1985","unstructured":"Nava, O. and Rota, G.-C.: Plethysm, categories and combinatorics, Advances in Mathematics\n58 (1985), 61\u201388.","journal-title":"Advances in Mathematics"},{"key":"5123435_CR17","doi-asserted-by":"crossref","unstructured":"Pitts, A. M.: Categorical logic, in S. Abramsky, D. M. Gabbay and T. S. E. Maibaum (eds), Handbook of Logic in Computer Science, Volume 5. Algebraic and Logical Structures, Oxford University Press, 2000, Chapter 2.","DOI":"10.1093\/oso\/9780198537816.003.0005"},{"key":"5123435_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001), Sendai, Japan","author":"A. M. Pitts","year":"2001","unstructured":"Pitts, A. M.: Nominal logic: A first order theory of names and binding, in N. Kobayashi and B. C. Pierce (eds), Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001), Sendai, Japan, Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2001."},{"key":"5123435_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/10722010_15","volume-title":"Mathematics of Program Construction. Proceedings of the 5th International Conference, MPC2000, Ponte de Lima, Portugal, July 2000","author":"A. M. Pitts","year":"2000","unstructured":"Pitts, A. M. and Gabbay, M. J.: A metalanguage for programming with bound names modulo renaming, in R. Backhouse and J. N. Oliviera (eds), Mathematics of Program Construction. Proceedings of the 5th International Conference, MPC2000, Ponte de Lima, Portugal, July 2000, Lecture Notes in Computer Science 1837, Springer-Verlag, New York, 2000, pp. 230\u2013255."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025750816098.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1025750816098\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025750816098.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:39:55Z","timestamp":1747579195000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1025750816098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":19,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["5123435"],"URL":"https:\/\/doi.org\/10.1023\/a:1025750816098","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}