{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T23:55:24Z","timestamp":1649116524248},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1989,9,1]],"date-time":"1989-09-01T00:00:00Z","timestamp":620611200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1989,9]]},"DOI":"10.1007\/bf00370826","type":"journal-article","created":{"date-parts":[[2004,11,3]],"date-time":"2004-11-03T00:23:01Z","timestamp":1099441381000},"page":"285-297","source":"Crossref","is-referenced-by-count":0,"title":["Coherence in cartesian closed categories and the generality of proofs"],"prefix":"10.1007","volume":"48","author":[{"given":"M. E.","family":"Szabo","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Topoi, Studies in Logic and the Foundations of Mathematics 98","author":"R. Goldblatt","year":"1979","unstructured":"R. Goldblatt, Topoi, Studies in Logic and the Foundations of Mathematics 98, North-Holland, Amsterdam, 1979."},{"key":"CR2","first-page":"1","volume":"10","author":"S. C. Kleene","year":"1952","unstructured":"S. C. Kleene, Permutability of inferences in Gentzen's LK and LJ, Memoirs of the American Mathematical Society 10 (1952), pp. 1?26.","journal-title":"Memoirs of the American Mathematical Society"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J. Lambek","year":"1958","unstructured":"J. Lambek, The mathematics of sentence structure, American Math. Monthly 65 (1958), pp. 154?169.","journal-title":"American Math. Monthly"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1090\/psapm\/012\/9972","volume":"12","author":"J. Lambek","year":"1961","unstructured":"J. Lambek, On the calculus of syntactic types, Amer. Math. Soc. Proc. Symposia Appl. Math. 12 (1961), pp. 166?178.","journal-title":"Amer. Math. Soc. Proc. Symposia Appl. Math."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/BF01703261","volume":"2","author":"J. Lambek","year":"1968","unstructured":"J. Lambek, Deductive systems and categories I, Mathematical Systems Theory 2 (1968), pp. 76?122.","journal-title":"Mathematical Systems Theory"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BFb0079385","volume":"86","author":"J. Lambek","year":"1969","unstructured":"J. Lambek, Deductive systems and categories II, Lecture Notes in Mathematics 86 (1969), pp. 57?82.","journal-title":"Lecture Notes in Mathematics"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"J. Lambek, Multicategories Revisited, Manuscript, 1988.","DOI":"10.1090\/conm\/092\/1003201"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"J. Lambek, On the Unity of Algebra and Logic, Manuscript, 1988.","DOI":"10.1007\/BFb0081361"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BFb0061299","volume":"445","author":"G. Osius","year":"1975","unstructured":"G. Osius, Logical and set-theoretical tools in elementary topoi, Lecture Notes in Mathematics 445 (1975), pp. 297?346.","journal-title":"Lecture Notes in Mathematics"},{"key":"CR10","unstructured":"M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1969."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1305\/ndjfl\/1093891297","volume":"15","author":"M. E. Szabo","year":"1974","unstructured":"M. E. Szabo, A categorical equivalence of proofs, Notre Dame Journal of Formal Logic 15 (1974), pp. 177?191.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"111","DOI":"10.4153\/CMB-1975-020-1","volume":"18","author":"M. E. Szabo","year":"1975","unstructured":"M. E. Szabo, A counter-example to coherence in cartesian closed categories, Canadian Mathematical Bulletin 18 (1975), pp. 111?114.","journal-title":"Canadian Mathematical Bulletin"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1080\/00927877508822067","volume":"3","author":"M. E. Szabo","year":"1975","unstructured":"M. E. Szabo, Polycategories, Communications in Algebra 3 (1975), pp. 663?689.","journal-title":"Communications in Algebra"},{"key":"CR14","volume-title":"Studies in Logic and the Foundations of Mathematics 88","author":"M. E. Szabo","year":"1978","unstructured":"M. E. Szabo, Algebra of Proofs, Studies in Logic and the Foundations of Mathematics 88, North-Holland, Amsterdam, 1978."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1002\/malq.19830290408","volume":"29","author":"M. E. Szabo","year":"1983","unstructured":"M. E. Szabo, The continuous realizability of entailment, Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik 29 (1983), pp. 219?233.","journal-title":"Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0168-0072(87)90080-7","volume":"33","author":"M. E. Szabo","year":"1987","unstructured":"M. E. Szabo, A cut elimination theorem for stationary logic, Annals of Pure and Applied Logic 33 (1987), pp. 181?193.","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370826.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370826\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370826","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T18:27:35Z","timestamp":1585938455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370826"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,9]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1989,9]]}},"alternative-id":["BF00370826"],"URL":"https:\/\/doi.org\/10.1007\/bf00370826","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,9]]}}}