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