V. 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.
Roy Dyckhoff & Stéphane Lengrand (2006):
LJQ: A Strongly Focused Calculus for Intuitionistic Logic.
In: Arnold Beckmann, Ulrich Berger, Benedikt Löwe & John V. Tucker: Proceedings of the 2nd Conference on Computability in Europe, CiE 2006,
Lecture Notes in Computer Science 3988.
Springer,
pp. 173–185,
doi:10.1007/11780342_19.
Samuel Eilenberg & G. Max Kelly (1966):
Closed Categories.
In: Samuel Eilenberg, David K. Harrison, Saunders Mac Lane & Helmut Röhrl: Proceedings of the Conference on Categorical Algebra (La Jolla, 1965).
Springer,
pp. 421–562,
doi:10.1007/978-3-642-99902-4_22.
Jean-Yves Girard (1991):
A New Constructive Logic: Classical Logic.
Mathematical Structures in Computer Science 1(3),
pp. 255–296,
doi:10.1017/s0960129500001328.
Masahito Hasegawa (2016):
Linear Exponential Comonads without Symmetry.
In: Iliano Cervesato & Maribel Fernández: Proceedings of the 4th International Workshop on Linearity, LINEARITY 2016,
Electronic Proceedings in Theoretical Computer Science 238.
Open Publishing Association,
pp. 54–63,
doi:10.4204/etpcs.238.6.
Jiaming Jiang, Harley Eades III & Valeria de Paiva (2018):
On the Lambek Calculus with an Exchange Modality.
In: Thomas Ehrhard, Maribel Fernández, Valeria de Paiva & Lorenzo Tortora de Falco: Proceedings of the Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA 2018,
Electronic Proceedings in Theoretical Computer Science 292.
Open Publishing Association,
pp. 43–89,
doi:10.4204/eptcs.292.4.
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.
Joachim Lambek (1968):
Deductive Systems and Categories I: Syntactic Calculus and Residuated Categories.
Mathematical Systems Theory 2(4),
pp. 287–318,
doi:10.1007/bf01703261.
Saunders Mac Lane (1963):
Natural Associativity and Commutativity.
Rice University Studies 49(4),
pp. 28–46.
Available at http://hdl.handle.net/1911/62865.
Paul-André Melliès (2009):
Categorical Semantics of Linear Logic.
In: Pierre-Louis Curien, Hugo Herbelin, Jean-Louis Krivine & Paul-André Melliès: Interactive Models of Computation and Program Behavior,
Panoramas et syntheses 27.
Société Mathématique de France,
pp. 15–215.
Gabriel Scherer & Ddier Rémy (2015):
Which Simple Types Have a Unique Inhabitant?.
In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP '15.
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.
Haruka Tomita (2021):
Realizability without Symmetry.
In: Christel Baier & Jean Goubault-Larrecq: Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, CSL 2021,
Leibniz International Proceedings in Informatics 183.
Dagstuhl Publishing,
pp. 38:1–38:16,
doi:10.4230/lipics.csl.2021.38.
Tarmo Uustalu, Niccolò Veltri & Noam Zeilberger (2020):
Eilenberg-Kelly Reloaded.
Electronic Notes in Theoretical Computer Science 352,
pp. 233–256,
doi:10.1016/j.entcs.2020.09.012.
Tarmo Uustalu, Niccoló Veltri & Noam Zeilberger (2021):
Deductive Systems and Coherence for Skew Prounital Closed Categories.
In: Claudio Sacerdoti Coen & Alwen Tiu: Proceedings of the 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 the 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 the 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.
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