{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:27:27Z","timestamp":1767929247406,"version":"3.49.0"},"reference-count":17,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3674,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1016\/s0168-0072(03)00003-4","type":"journal-article","created":{"date-parts":[[2003,6,2]],"date-time":"2003-06-02T23:03:18Z","timestamp":1054594998000},"page":"131-173","source":"Crossref","is-referenced-by-count":2,"title":["G-dinaturality"],"prefix":"10.1016","volume":"122","author":[{"given":"Zoran","family":"Petri\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0168-0072(03)00003-4_BIB1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(90)90151-7","article-title":"Functorial polymorphism","volume":"70","author":"Bainbridge","year":"1990","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0168-0072(03)00003-4_BIB2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(93)90053-V","article-title":"Linear logic, coherence and dinaturality","volume":"115","author":"Blute","year":"1993","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0168-0072(03)00003-4_BIB3","series-title":"Cut Elimination in Categories, Trends in Logic-Studia Logica Library","author":"Do\u0161en","year":"1999"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB4","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1023\/A:1020568830946","article-title":"Bicartesian Coherence","volume":"71","author":"Do\u0161en","year":"2002","journal-title":"Studia Logica"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB5","series-title":"Reports of the Midwest Category Seminar IV","first-page":"126","article-title":"Dinatural transformations","volume":"vol. 137","author":"Dubuc","year":"1970"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB6","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1016\/0021-8693(66)90006-8","article-title":"A generalization of the functorial calculus","volume":"3","author":"Eilenberg","year":"1966","journal-title":"J. Algebra"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB7","doi-asserted-by":"crossref","unstructured":"G. Gentzen, Untersuchungen \u00fcber das logische Schlie\u00dfen, Math. Z. 39 (1935) 176\u2013210, 405\u2013431 (English translation in: M.E. Szabo (Ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969).","DOI":"10.1007\/BF01201353"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB8","series-title":"Logic from Computer Science, Proc. Workshop held on November 13\u201317, 1989","first-page":"217","article-title":"Normal forms and cut-free proofs as natural transformations","author":"Girard","year":"1992"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB9","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0021-8693(65)90022-0","article-title":"Tensor products in categories","volume":"2","author":"Kelly","year":"1965","journal-title":"J. Algebra"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB10","series-title":"Coherence in Categories","first-page":"66","article-title":"Many-variable functorial calculus I","volume":"vol. 281","author":"Kelly","year":"1972"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB11","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0022-4049(71)90013-2","article-title":"Coherence in closed categories","volume":"1","author":"Kelly","year":"1971","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB12","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF01703261","article-title":"Deductive systems and categories I","volume":"2","author":"Lambek","year":"1968","journal-title":"Math. Systems Theory"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB13","series-title":"Category Theory, Homology Theory and their Applications I","first-page":"76","article-title":"Deductive systems and categories II: standard constructions and closed categories","volume":"vol. 86","author":"Lambek","year":"1969"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB14","series-title":"Introduction to Higher Order Categorical Logic","author":"Lambek","year":"1986"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9904-1976-13928-6","article-title":"Topology and logic as a source of algebra","volume":"82","author":"Mac Lane","year":"1976","journal-title":"Bull. Amer. Math. Soc."},{"key":"10.1016\/S0168-0072(03)00003-4_BIB16","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0022-4049(87)90061-2","article-title":"On natural transformations of distinguished functors and their superpositions in certain closed categories","volume":"17","author":"Soloviev","year":"1987","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0168-0072(03)00003-4_BIB17","doi-asserted-by":"crossref","first-page":"111","DOI":"10.4153\/CMB-1975-020-1","article-title":"A counter-example to coherence in cartesian closed categories","volume":"18","author":"Szabo","year":"1975","journal-title":"Canad. Math. Bull."}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007203000034?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007203000034?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T01:27:31Z","timestamp":1553131651000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007203000034"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":17,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["S0168007203000034"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(03)00003-4","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}