@article(Bainbridge1990,
 author       = {E.S. Bainbridge and Peter J. Freyd and Andre Scedrov and Philip J. Scott},
 year         = {1990},
 title        = {Functorial polymorphism},
 journal      = {Theoretical Computer Science},
 volume       = {70},
 pages        = {35--64},
 doi          = {10.1016/0304-3975(90)90151-7},
)
@book(Barr1979,
 author       = {Michael Barr},
 year         = {1979},
 title        = {$^*$-{A}utonomous {C}ategories},
 series       = {Lecture Notes in Mathematics},
 volume       = {752},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/BFb0064582},
)
@article(lauchli,
 author       = {R. F. Blute and P. J. Scott},
 year         = {1996},
 title        = {Linear {L}\"{a}uchli semantics},
 journal      = {Ann. Pure Appl. Logic},
 volume       = {77},
 number       = {2},
 pages        = {101--142},
 doi          = {10.1016/0168-0072(95)00017-8},
)
@inproceedings(Blute1991,
 author       = {Richard Blute},
 year         = {1991},
 title        = {Proof nets and coherence theorems},
 editor       = {P.L. Curien and S. Abramsky and A.M. Pitts and A. Poign\'e and D.E. Rydeheard},
 booktitle    = {Category Theory and Computer Science. CTCS 1991},
 series       = {Lecture Notes in Computer Science},
 volume       = {530},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {121--137},
 doi          = {10.1007/BFb0013461},
)
@article(Blute1993,
 author       = {Richard Blute},
 year         = {1993},
 title        = {Linear Logic, coherence and dinaturality},
 journal      = {Theoretical Computer Science},
 volume       = {115},
 number       = {1},
 pages        = {3--41},
 doi          = {10.1016/0304-3975(93)90053-V},
)
@article(Blute1996,
 author       = {Richard Blute and Robin Cockett and R.A.G. Seely and T.H. Trimble},
 year         = {1996},
 title        = {Natural deduction and coherence for weakly distributive categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {113},
 number       = {229},
 pages        = {296},
 doi          = {10.1016/0022-4049(95)00159-X},
)
@article(Carvalho2012,
 author       = {Daniel de Carvalho and Tortora de Falco, Lorenzo},
 year         = {2012},
 title        = {The relational model is injective for multiplicative exponential linear logic (without weakenings)},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {163},
 number       = {9},
 pages        = {1210--1236},
 doi          = {10.1016/j.apal.2012.01.004},
)
@phdthesis(tortoraphd,
 author       = {Tortora de Falco, Lorenzo},
 year         = {2000},
 title        = {R\'eseaux, coh\'erence et exp\'eriences obsessionnelles},
 school       = {Universit\'e Paris 7},
)
@article(Ferreira2009,
 author       = {Fernando Ferreira and Gilda Ferreira},
 year         = {2009},
 title        = {Commuting conversions vs. the standard conversions of the "good" connectives},
 journal      = {Studia Logica},
 volume       = {92},
 number       = {1},
 pages        = {63--84},
 doi          = {10.1007/s11225-009-9186-1},
)
@article(Ferreira2013,
 author       = {Fernando Ferreira and Gilda Ferreira},
 year         = {2013},
 title        = {Atomic polymorphism},
 journal      = {Journal of Symbolic Logic},
 volume       = {78},
 number       = {1},
 pages        = {260--274},
 doi          = {10.1007/s10992-005-9001-z},
)
@article(Fiore1996,
 author       = {M.P. Fiore and A. Jung and E. Moggi and P. O'Hearn and J. Riecke and G. Rosolini and I. Stark},
 year         = {1996},
 title        = {Domains and denotational semantics: history, accomplishments and open problems},
 journal      = {Bulletin EATCS},
 volume       = {59},
 pages        = {227--256},
)
@article(Fuchs2012,
 author       = {J\"urgen Fuchs and Christoph Schweigert and Carl Stigner},
 year         = {2012},
 title        = {Modular invariant {F}robenius algebras from ribbon {H}opf algebra automorphisms},
 journal      = {Journal of Algebra},
 volume       = {363},
 pages        = {29--72},
 doi          = {10.1016/j.jalgebra.2012.04.008},
)
@article(linear,
 author       = {Jean-Yves Girard},
 year         = {1987},
 title        = {Linear logic},
 journal      = {Theoretical Computer Science},
 volume       = {50},
 number       = {1},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@inproceedings(quanti1987,
 author       = {Jean-Yves Girard},
 year         = {1988},
 title        = {Quantifiers in {L}inear {L}ogic},
 booktitle    = {Atti del congresso "Temi e Prospettive della Logica e della Filosofia della Scienza", Cesena, 7-10 Gennaio 1987},
 publisher    = {CLUEB},
 address      = {Bologna},
)
@inproceedings(quanti1990,
 author       = {Jean-Yves Girard},
 year         = {1991},
 title        = {Quantifiers in {L}inear {L}ogic {II}},
 booktitle    = {Atti del congresso "Nuovi Problemi della Logica e della Filosofia della Scienza", Viareggio, 8-13 Gennatio 1990},
 publisher    = {CLUEB},
 address      = {Bologna},
)
@incollection(Girard1992,
 author       = {Jean-Yves Girard and Andre Scedrov and Philip J. Scott},
 year         = {1992},
 title        = {Normal forms and cut-free proofs as natural transformations},
 editor       = {Y. Moschovakis},
 booktitle    = {Logic from {C}omputer {S}cience},
 volume       = {21},
 publisher    = {Springer-Verlag},
 pages        = {217--241},
 doi          = {10.1007/978-1-4612-2822-6_8},
)
@article(Hasegawa2009,
 author       = {Rye Hasegawa},
 year         = {2009},
 title        = {Categorical data types in parametric polymorphism},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {4},
 number       = {1},
 pages        = {71--109},
 doi          = {10.1016/S0049-237X(08)70843-7},
)
@inproceedings(Heij2014,
 author       = {Willem Heijltjes and Robin Houston},
 year         = {2014},
 title        = {No proof nets for {MLL} with units: proof equivalence in {MLL} is {PSPACE}-complete},
 booktitle    = {CSL-LICS 2014},
 doi          = {10.1145/2603088.2603126},
)
@article(Heij2016,
 author       = {Willem Heijltjes and Stra{\ss}burger, Luz},
 year         = {2016},
 title        = {Proof nets and semi-star-autonomous categories},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {26},
 number       = {5},
 pages        = {789--828},
 doi          = {10.1016/0001-8708(91)90003-P},
)
@unpublished(Hughes2017,
 author       = {Robin Houston and Dominic Hughes and Andrea Schalk},
 year         = {2017},
 title        = {Modeling {L}inear {L}ogic without {U}nits ({P}reliminary {R}esults)},
 note         = {\url{https://arxiv.org/pdf/math/0504037.pdf}},
)
@unpublished(Hughes2018,
 author       = {Dominic J.D. Hughes},
 title        = {Unification nets: canonical proof net quantifiers},
 note         = {\url{https://arxiv.org/abs/1802.03224}},
)
@article(Hughes2012,
 author       = {Dominic J.D. Hughes},
 year         = {2012},
 title        = {Simple free star-autonomous categories and full coherence},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {216},
 number       = {11},
 pages        = {2386--2410},
 doi          = {10.1016/j.jpaa.2012.03.020},
)
@incollection(Kerler2001,
 author       = {Thomas Kerler and Volodymyr V. Lyubashenko},
 year         = {2001},
 title        = {Coends and construction of {H}opf algebras},
 booktitle    = {Non-Semisimple Topological Quantum Field Theoreis for 3-Manifols with Corners},
 chapter      = {5},
 series       = {Lecture Notes in Mathematics},
 volume       = {1765},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/3-540-44625-7_6},
)
@inproceedings(Lamarche2004,
 author       = {Fran{\c c}ois Lamarche and Stra{\ss}burger, Luz},
 year         = {2004},
 title        = {On proof nets for multiplicative linear logic with units},
 booktitle    = {CSL 2004},
 series       = {Lecture Notes in Computer Science},
 volume       = {3210},
 pages        = {145--159},
 doi          = {10.1007/978-3-540-30124-0_14},
)
@article(Lamarche2006,
 author       = {Fran{\c c}ois Lamarche and Stra{\ss}burger, Luz},
 year         = {2006},
 title        = {From {P}roof {N}ets to the {F}ree $^*$-{A}utonomous {C}ategory},
 journal      = {Logical Methods in Computer Science},
 volume       = {2},
 number       = {4},
 doi          = {10.2168/LMCS-2(4:3)2006},
)
@inproceedings(Delatail2009,
 author       = {Joachim de Lataillade},
 year         = {2009},
 title        = {Dinatural terms in {S}ystem {F}},
 booktitle    = {Proceedings of the Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2009)},
 publisher    = {IEEE Computer Society Press},
 address      = {Los Angeles, California, USA},
 pages        = {267--276},
 doi          = {10.1109/LICS.2009.30},
)
@unpublished(Loregian,
 author       = {Fosco Loregian},
 year         = {2015},
 title        = {This is the (co)end, my only (co)friend},
 note         = {\url{https://arxiv.org/abs/1501.02503}},
)
@book(MacLane,
 author       = {Saunders MacLane},
 year         = {1978},
 title        = {Categories for the working mathematicians},
 series       = {Graduate Texts in Mathematics},
 volume       = {5},
 publisher    = {Springer-Verlag},
 address      = {New York},
 doi          = {10.1007/978-1-4757-4721-8},
)
@article(MKinley,
 author       = {Richard McKinley},
 year         = {2013},
 title        = {Proof nets for {H}erbrand's theorem},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {14},
 number       = {1},
 doi          = {10.1145/2422085.2422090},
)
@inproceedings(Mellies2012,
 author       = {Paul-Andr\'e Melli\`es},
 year         = {2012},
 title        = {Game semantics in string diagrams},
 booktitle    = {LICS '12},
 address      = {New Orleans, Louisiana},
 pages        = {481--490},
 doi          = {10.1109/LICS.2012.58},
)
@inproceedings(Mellies2016,
 author       = {Paul-Andr\'e Melli\`es and Noam Zeilberger},
 year         = {2016},
 title        = {A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine},
 booktitle    = {LICS '16},
 address      = {New York},
 pages        = {555--564},
 doi          = {10.1145/2933575.2934525},
)
@unpublished(PistoneInsta,
 author       = {Paolo Pistone},
 year         = {2018},
 title        = {Proof nets and the instantiation overflow property},
 note         = {\url{https://arxiv.org/abs/1803.09297}},
)
@inproceedings(Plotkin1993,
 author       = {Gordon Plotkin and Martin Abadi},
 year         = {1993},
 title        = {A logic for parametric polymorphism},
 booktitle    = {TLCA '93, International Conference on Typed Lambda Calculi and Applications},
 series       = {Lecture Notes in Computer Science},
 volume       = {664},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {361--375},
 doi          = {10.1007/BFb0037118},
)
@article(Seely1990,
 author       = {R.A.G. Seely},
 year         = {1990},
 title        = {Polymorphic linear logic and topos models},
 journal      = {Comptes Rendus Math\'ematiques de l'Acad\'emie des Sciences Canada},
 volume       = {12},
 number       = {1},
)
@inproceedings(Strass2009,
 author       = {Stra{\ss}burger, Luz},
 year         = {2009},
 title        = {Some {O}bservations on the {P}roof {T}heory of {S}econd {O}rder {P}ropositional {M}ultiplicative {L}inear {L}ogic},
 editor       = {P.L. Curien},
 booktitle    = {TLCA 2009},
 series       = {Lecture Notes in Computer Science},
 volume       = {5608},
 pages        = {309--324},
 doi          = {10.1007/BF01622878},
)
@article(StudiaLogica,
 author       = {Luca Tranchini and Paolo Pistone and Mattia Petrolo},
 year         = {2017},
 title        = {The naturality of natural deduction},
 journal      = {Studia Logica},
 doi          = {10.1007/s11225-017-9772-6},
)
@phdthesis(Trimble,
 author       = {Todd Trimble},
 year         = {1994},
 title        = {Linear logic, bimodules, and full coherence for autonomous categories},
 school       = {Rutgers University},
)
@article(Uustalu2011,
 author       = {Tarmo Uustalu and Varmo Vene},
 year         = {2011},
 title        = {The {R}ecursion {S}cheme from the {C}ofree {R}ecursive {C}omonad},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {229},
 number       = {5},
 pages        = {135--157},
 doi          = {10.1016/j.entcs.2011.02.020},
)