{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:07Z","timestamp":1725489487745},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540427520"},{"type":"electronic","value":"9783540455042"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45504-3_6","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T18:56:02Z","timestamp":1187031362000},"page":"78-92","source":"Crossref","is-referenced-by-count":2,"title":["Coherent Bicartesian and Sesquicartesian Categories"],"prefix":"10.1007","author":[{"given":"Kosta","family":"Do\u0161en","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Petri\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,2]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1002\/1521-3870(200101)47:1<137::AID-MALQ137>3.0.CO;2-F","volume":"47","author":"K. Do\u0161en","year":"2001","unstructured":"Do\u0161en, K., Petri\u0107, Z.: The Maximality of Cartesian Categories. Math. Logic Quart. 47 (2001) 137\u2013144 (available at: http:\/\/xxx.lanl.gov\/math.CT\/9911059 )","journal-title":"Math. Logic Quart"},{"issue":"82","key":"6_CR2","first-page":"1","volume":"68","author":"K. Do\u0161en","year":"2000","unstructured":"Do\u0161en, K., Petri\u0107, Z.: The Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories. Publ. Inst. Math. (N.S.) 68(82) (2000) 1\u201319 (available at: http:\/\/xxx.lanl.gov\/math.CT\/9911073","journal-title":"Publ. Inst. Math. (N.S.)"},{"key":"6_CR3","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Bicartesian Coherence. To appear in Studia Logica (available at: http:\/\/xxx.lanl.gov\/math.CT\/0006052"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u03b2en. Math. Z. 39 (1935) 176\u2013210, 405-431. English translation in: The Collected Papers of Gerhard Gentzen. Szabo, M. E. (ed.), North-Holland, Amsterdam (1969)","DOI":"10.1007\/BF01201363"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0022-4049(71)90013-2","volume":"1","author":"G. M. Kelly","year":"1971","unstructured":"Kelly, G. M., Mac Lane, S.: Coherence in Closed Categories. J. Pure Appl. Algebra 1 (1971) 97\u2013140, 219","journal-title":"J. Pure Appl. Algebra"},{"key":"6_CR6","unstructured":"Lambek, J.: Deductive Systems and Categories I: Syntactic Calculus and Residuated Categories. Math. Systems Theory 2 (1968) 287\u2013318"},{"key":"6_CR7","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/BFb0079385","volume-title":"Category Theory, Homology Theory and their Applications","author":"J. Lambek","year":"1969","unstructured":"Lambek, J.: Deductive Systems and Categories II: Standard Constructions and Closed Categories. In: Category Theory, Homology Theory and their Applications I. Lecture Notes in Mathematics, Vol. 86. Springer, Berlin (1969) 76\u2013122"},{"key":"6_CR8","volume-title":"Introduction to Higher-Order Categorical Logic","author":"J. Lambek","year":"1986","unstructured":"Lambek, J., Scott, P.J.: Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge (1986)"},{"key":"6_CR9","volume-title":"Conceptual Mathematics: A First Introduction to Categories","author":"F. W. Lawvere","year":"1997","unstructured":"Lawvere, F. W., Schanuel, S. H.: Conceptual Mathematics: A First Introduction to Categories. Cambridge University Press, Cambridge (1997). First edn. Buffalo Workshop Press, Buffalo (1991)","edition":"First edn."},{"key":"6_CR10","first-page":"28","volume":"49","author":"S. Mac Lane","year":"1963","unstructured":"Mac Lane, S.: Natural Associativity and Commutativity. Rice University Studies, Papers in Mathematics 49 (1963) 28\u201346","journal-title":"Rice University Studies, Papers in Mathematics"},{"key":"6_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/BFb0014068","volume-title":"Typed Lambda Calculi and Applications (Edinburgh, 1995)","author":"A. K. Simpson","year":"1995","unstructured":"Simpson, A. K.: Categorical Completeness Results for the Simply-Typed Lambda-Calculus. In: Dezani-Ciancaglini, M., Plotkin, G. (eds), Typed Lambda Calculi and Applications (Edinburgh, 1995). Lecture Notes in Computer Science, Vol. 902. Springer, Berlin (1995) 414\u2013427"}],"container-title":["Lecture Notes in Computer Science","Proof Theory in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45504-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T20:53:10Z","timestamp":1556743990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45504-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540427520","9783540455042"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45504-3_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}