{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:55Z","timestamp":1725456055222},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051662X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018341","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:50:09Z","timestamp":1132645809000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective"],"prefix":"10.1007","author":[{"given":"Guiseppe","family":"Longo","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Asperti A., Longo G. [1989] Applied category theory: an introduction to categories, types and structures for the working computer scientist, M.I.T. Press, to appear."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Bruce K., Longo G. [1985] \u201cProvable isomorphisms and domain equations in models of typed languages,\u201d (Preliminary version) 1985 A.C.M. Symposium on Theory of Computing (STOC 85), Providence (R.I.), May, (263\u2013272).","DOI":"10.1145\/22145.22175"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0304-3975(76)90085-2","volume":"2","author":"M. Dezani","year":"1976","unstructured":"Dezani M. [1976] \u201cCharacterization of normal forms possessing an inverse in the \u03bb\u03b2\u03b7-calculus,\u201d Theor. Comp. Sci., 2 (323\u2013337).","journal-title":"Theor. Comp. Sci."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Kelly G.M., Mac Lane S.,[1971] \u201cCoherence in closed categories\u201d, J. Pure Appl. Algebra, no 1, (97\u2013140); erratum, ibid. no 2, 219.","DOI":"10.1016\/0022-4049(71)90013-2"},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF01703261","volume":"2","author":"J. Lambek","year":"1968","unstructured":"Lambek J., [1968] \u201cDeductive systems and categories I, Syntactic calculus and residuated categories\u201d, Math. Systems Theory 2, (287\u2013318).","journal-title":"Math. Systems Theory"},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/BFb0079385","volume":"86","author":"J. Lambek","year":"1969","unstructured":"Lambek J., [1969] \u201cDeductive systems and categories II, Standard constructions and closed categories\u201d, Lecture Notes in Math., Vol. 86, Springer r-Verlag, Berlin (76\u2013122).","journal-title":"Lecture Notes in Math., Vol."},{"key":"1_CR7","first-page":"28","volume":"49","author":"S. Mac Lane","year":"1963","unstructured":"Mac Lane S. [1963] \u201cNatural associativity and commutativity\u201d, Rice University Studies 49 (28\u201346).","journal-title":"Rice University Studies"},{"issue":"1","key":"1_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9904-1976-13928-6","volume":"82","author":"S. Mac Lane","year":"1976","unstructured":"Mac Lane S. [1976] \u201cTopology and logic as a source of algebra\u201d (retiring Presidential address), Bull Amer. Math. Soc. 82, n o , 1, (1\u201340).","journal-title":"Bull Amer. Math. Soc."},{"key":"1_CR9","first-page":"90","volume":"32","author":"G.E. Minc","year":"1972","unstructured":"Minc G.E. [1972] \u201cA cut elimination theorem for relevant logics\u201d (Russian English summary), Investigations in constructive mathematics and mathematical logic V. Zap. Naucn Sem. Leningrad Otdel mat. Inst. Steklov (LOMI) 32, (90\u201397); 156.","journal-title":"Investigations in constructive mathematics and mathematical logic V. Zap. Naucn Sem. Leningrad Otdel mat. Inst. Steklov (LOMI)"},{"key":"1_CR10","first-page":"83","volume":"68","author":"G.E. Minc","year":"1977","unstructured":"Minc G.E., [1977] \u201cClosed categories and the theory of proofs (Russian, English Summary)\u201d, Zap Naucn. Sem. Leningrad Otdel Mat. Inst. Steklov (LOMI) 68, (83\u2013114); 145. (Trans circulated as preprint).","journal-title":"Zap Naucn. Sem. Leningrad Otdel Mat. Inst. Steklov (LOMI)"},{"key":"1_CR11","unstructured":"Minc G.E. [197?] \u201cA simple proof of the coherence theorem for cartesian closed categories\u201d Bibliopolis (to appear in translation from russian)."},{"key":"1_CR12","unstructured":"Minc G.E. [197?] \u201cProof theory and category theory\u201d Bibliopolis (to appear in translation from russian)."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0018341","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:57:01Z","timestamp":1586573821000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018341"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051662X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0018341","relation":{},"subject":[]}}