@article(abrusci:noncommutative:1990, author = {Vito Michele Abrusci}, year = {1990}, title = {Non-commutative Intuitionistic Linear Logic}, journal = {Mathematical Logic Quarterly}, volume = {36}, number = {4}, pages = {297--318}, doi = {10.1002/malq.19900360405}, ) @article(altenkirch:monads:2014, author = {Thorsten Altenkirch and James Chapman and Tarmo Uustalu}, year = {2015}, title = {Monads Need Not Be Endofunctors}, journal = {Logical Methods in Computer Science}, volume = {11}, number = {1}, eid = {3}, doi = {10.2168/lmcs-11(1:3)2015}, ) @article(andreoli:logic:1992, author = {Jean-Marc Andreoli}, year = {1992}, title = {Logic Programming with Focusing Proofs in Linear Logic}, journal = {Journal of Logic and Computation}, volume = {2}, number = {3}, pages = {297--347}, doi = {10.1093/logcom/2.3.297}, ) @article(bourke:skew:2017, author = {John Bourke}, year = {2017}, title = {Skew structures in 2-category theory and homotopy theory}, journal = {Journal of Homotopy and Related Structures}, volume = {12}, number = {1}, pages = {31--81}, doi = {10.1007/s40062-015-0121-z}, ) @article(bourke:skew:2018, author = {John Bourke and Stephen Lack}, year = {2018}, title = {Skew Monoidal Categories and Skew Multicategories}, journal = {Journal of Algebra}, volume = {506}, pages = {237--266}, doi = {10.1016/j.jalgebra.2018.02.039}, ) @article(bourke:lack:braided:2020, author = {John Bourke and Stephen Lack}, year = {2020}, title = {Braided Skew Monoidal Categories}, journal = {Theory and Applications of Categories}, volume = {35}, number = {2}, pages = {19--63}, url = {http://www.tac.mta.ca/tac/volumes/35/2/35-02abs.html}, ) @article(buckley:catalan:2015, author = {Michael Buckley and Richard Garner and Stephen Lack and Ross Street}, year = {2015}, title = {The {C}atalan Simplicial Set}, journal = {Mathematical Proceedings of Cambridge Philosophical Society}, volume = {158}, number = {2}, pages = {211--222}, doi = {10.1017/s0305004114000498}, ) @inproceedings(chaudhuri:canonical:2008, author = {Kaustuv Chaudhuri and Dale Miller and Alexis Saurin}, year = {2008}, title = {Canonical Sequent Proofs via Multi-Focusing}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and Luke Ong}, booktitle = {Proceedings of 5th IFIP International Conference on Theoretical Computer Science, {TCS} 2008}, series = {International\ Federation of Information Processing Series}, volume = {273}, publisher = {Springer}, pages = {383--396}, doi = {10.1007/978-0-387-09680-3\_26}, ) @article(girard:linear:87, author = {Jean{-}Yves Girard}, year = {1987}, title = {Linear Logic}, journal = {Theoretical Computer Science}, volume = {50}, pages = {1--102}, doi = {10.1016/0304-3975(87)90045-4}, ) @article(girard:constructive:91, author = {Jean-Yves Girard}, year = {1991}, title = {A New Constructive Logic: Classical Logic}, journal = {Mathematical Structures in Computer Science}, volume = {1}, number = {3}, pages = {255--296}, doi = {10.1017/s0960129500001328}, ) @article(lack:skew:2012, author = {Stephen Lack and Ross Street}, year = {2012}, title = {Skew Monoidales, Skew Warpings and Quantum Categories}, journal = {Theory and Applications of Categories}, volume = {26}, pages = {385--402}, url = {http://www.tac.mta.ca/tac/volumes/26/15/26-15abs.html}, ) @article(lack:triangulations:2014, author = {Stephen Lack and Ross Street}, year = {2014}, title = {Triangulations, Orientals, and Skew Monoidal Categories}, journal = {Advances in Mathematics}, volume = {258}, pages = {351--396}, doi = {10.1016/j.aim.2014.03.003}, ) @article(lambek:mathematics:58, author = {Joachim Lambek}, year = {1958}, title = {The Mathematics of Sentence Structure}, journal = {American Mathematical Monthly}, volume = {65}, number = {3}, pages = {154--170}, doi = {10.2307/2310058}, ) @article(maclane1963natural, author = {{Mac Lane}, Saunders}, year = {1963}, title = {Natural Associativity and Commutativity}, journal = {Rice University Studies}, volume = {49}, number = {4}, pages = {28--46}, url = {http://hdl.handle.net/1911/62865}, ) @misc(moortgat:tamari:20, author = {Michael Moortgat}, year = {2020}, title = {The {T}amari order for $D^3$ and derivability in semi-associative {L}ambek-{G}rishin {C}alculus}, howpublished = {Talk at 16th Workshop on Computational Logic and Applications, CLA 2020}, note = {Slides available at: \url{http://cla.tcs.uj.edu.pl/history/2020/pdfs/CLA_slides_Moortgat.pdf}}, ) @book(moot:logic:12, author = {Richard Moot and Christian Retor{\'{e}}}, year = {2012}, title = {The Logic of Categorial Grammars - {A} Deductive Account of Natural Language Syntax and Semantics}, series = {Lecture Notes in Computer Science}, volume = {6850}, publisher = {Springer}, doi = {10.1007/978-3-642-31555-8}, ) @inproceedings(scherer:simple:2015, author = {Gabriel Scherer and Ddier R{\'{e}}my}, year = {2015}, title = {Which Simple Types Have a Unique Inhabitant?}, booktitle = {Proceedings of 20th {ACM} {SIGPLAN} International Conference on Functional Programming, ICFP 2015}, publisher = {{ACM}}, pages = {243--255}, doi = {10.1145/2784731.2784757}, ) @article(street:skew-closed:2013, author = {Ross Street}, year = {2013}, title = {Skew-Closed Categories}, journal = {Journal of Pure and Applied Algebra}, volume = {217}, number = {6}, pages = {973--988}, doi = {10.1016/j.jpaa.2012.09.020}, ) @article(szlachanyi:skew-monoidal:2012, author = {Korn{\'e}l Szlach\'anyi}, year = {2012}, title = {Skew-Monoidal Categories and Bialgebroids}, journal = {Advances in Mathematics}, volume = {231}, number = {3--4}, pages = {1694--1730}, doi = {10.1016/j.aim.2012.06.027}, ) @inproceedings(UVW:protsn, author = {Tarmo Uustalu and Niccol{\`o} Veltri and Cheng-Syuan Wan}, year = {2022}, title = {Proof Theory of Skew Non-Commutative MILL}, editor = {Andrzej Indrzejczak and Michal Zawidzki}, booktitle = {Proceedings of 10th International Conference on Non-classical Logics: Theory and Applications, {NCL} 2022}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {358}, publisher = {Open Publishing Association}, pages = {118--135}, doi = {10.4204/eptcs.358.9}, ) @inproceedings(uustalu:deductive:nodate, author = {Tarmo Uustalu and Niccol{\'o} Veltri and Noam Zeilberger}, year = {2021}, title = {Deductive Systems and Coherence for Skew Prounital Closed Categories}, editor = {{Sacerdoti Coen}, Claudio and Alwen Tiu}, booktitle = {Proceedings of 15th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, {LFMTP} 2020}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {332}, publisher = {Open Publishing Association}, pages = {35--53}, doi = {10.4204/eptcs.332.3}, ) @inproceedings(uustalu:proof:nodate, author = {Tarmo Uustalu and Niccol{\`o} Veltri and Noam Zeilberger}, year = {2021}, title = {Proof Theory of Partially Normal Skew Monoidal Categories}, editor = {David I. Spivak and Jamie Vicary}, booktitle = {Proceedings of 3rd Annual International Applied Category Theory Conference 2020, {ACT} 2020}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {333}, publisher = {Open Publishing Association}, pages = {230--246}, doi = {10.4204/eptcs.333.16}, ) @incollection(uustalu:sequent:2021, author = {Tarmo Uustalu and Niccol{\`o} Veltri and Noam Zeilberger}, year = {2021}, title = {The Sequent Calculus of Skew Monoidal Categories}, editor = {Claudio Casadio and Philip J. Scott}, booktitle = {Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics}, series = {Outstanding Contributions to Logic}, volume = {20}, publisher = {Springer}, pages = {377--406}, doi = {10.1007/978-3-030-66545-6_11}, ) @inproceedings(veltri:coherence:2021, author = {Niccol{\`o} Veltri}, year = {2021}, title = {Coherence via Focusing for Symmetric Skew Monoidal Categories}, editor = {Alexandra Silva and Renata Wassermann and {de Queiroz}, Ruy}, booktitle = {Proceedings\ of 27th International\ Workshop on Logic, Language, Information, and Computation, WoLLIC 2021}, series = {Lecture Notes in Computer Science}, volume = {13028}, publisher = {Springer}, pages = {184--200}, doi = {10.1007/978-3-030-88853-4_12}, ) @inproceedings(veltri:multifocus:23, author = {Niccol{\`{o}} Veltri}, year = {2023}, title = {Maximally Multi-focused Proofs for Skew Non-Commutative {MILL}}, editor = {Helle Hvid Hansen and Andre Scedrov and Ruy J. G. B. de Queiroz}, booktitle = {Proceedings of 29th International\ Workshop on Logic, Language, Information, and Computation, WoLLIC 2023}, series = {Lecture Notes in Computer Science}, volume = {13923}, publisher = {Springer}, pages = {377--393}, doi = {10.1007/978-3-031-39784-4\_24}, ) @article(zeilberger:semiassociative:19, author = {Noam Zeilberger}, year = {2019}, title = {A Sequent Calculus for a Semi-Associative Law}, journal = {Logical Methods in Computer Science}, volume = {15}, number = {1}, eid = {9}, doi = {10.23638/lmcs-15(1:9)2019}, )