ll.bib

@InProceedings{mixedlnll,
  author    = {Benton, Nick},
  title     = {A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)},
  booktitle = {Computer Science Logic},
  editor    = {Leszek Pacholski and Jerzy Tiuryn},
  volume    = {933},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  pages     = {121--135},
  year      = {1994},
  doi       = {10.1007/BFB0022251}
}

@InProceedings{dualitycomputationfocus,
  author    = {Curien, Pierre-Louis Curien and Munch-Maccagnoni, Guillaume},
  editor    = {Cristian S. Calude and Vladimiro Sassone},
  title     = {The Duality of Computation under Focus},
  booktitle = {IFIP Theoretical Computer Science},
  series    = {{IFIP} Advances in Information and Communication Technology},
  volume    = {323},
  pages     = {165--181},
  publisher = {Springer},
  year      = {2010},
  doi       = {10.1007/978-3-642-15240-5\_13}
}

@InProceedings{differentialstructurebiadditive,
  author    = {Marcello P. Fiore},
  title     = {Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic},
  editor    = {Simona Ronchi Della Rocca},
  booktitle = {Typed Lambda Calculi and Applications (TLCA)},
  series    = {Lecture Notes in Computer Science},
  volume    = {4583},
  pages     = {163--177},
  publisher = {Springer},
  year      = {2007},
  doi       = {10.1007/978-3-540-73228-0\_13}
}

@Article{systemF15,
  author  = {Girard, Jean-Yves},
  title   = {The system {F} of variable types, fifteen years later},
  journal = {Theoretical Computer Science},
  volume  = {45},
  pages   = {159--192},
  year    = {1986},
  doi     = {10.1016/0304-3975(86)90044-7}
}
@Article{linearlogic,
  author  = {Girard, Jean-Yves},
  title   = {Linear logic},
  journal = {Theoretical Computer Science},
  volume  = {50},
  number  = {1},
  pages   = {1--101},
  year    = {1987},
  doi     = {10.1016/0304-3975(87)90045-4}
}

@Article{lightlinearlogic,
  author  = {Girard, Jean-Yves},
  title   = {Light linear logic},
  journal = {Information and Computation},
  volume  = {43},
  pages   = {175--204},
  year    = {1998},
  doi     = {10.1006/inco.1998.2700}
}

@Article{doubleglueing,
  author  = {Hyland, Martin and Schalk, Andrea},
  title   = {Glueing and orthogonality for models of linear logic},
  journal = {Theoretical Computer Science},
  volume  = {294},
  number  = {1--2},
  pages   = {183--231},
  month   = feb,
  year    = {2003},
  doi     = {10.1016/S0304-3975(01)00241-9}
}

@Article{softlinearlogic,
  author  = {Lafont, Yves},
  title   = {Soft linear logic and polynomial time},
  journal = {Theoretical Computer Science},
  volume  = {318},
  number  = {1--2},
  pages   = {163--180},
  year    = {2004},
  doi     = {10.1016/0304-3975(87)90045-4}
}

@Book{categoriesworkmath,
  author    = {Maclane, Saunders},
  title     = {Categories for the Working Mathematician},
  series    = {Graduate Texts in Mathematics},
  volume    = {5},
  edition   = {second},
  publisher = {Springer},
  year      = {1998},
  doi       = {10.1007/978-1-4757-4721-8}
}

@InProceedings{cutelimcomplexity,
  author    = {Mairson, Harry and Terui, Kazushige},
  title     = {On the Computational Complexity of Cut-Elimination in Linear Logic},
  booktitle = {Proceedings of the eighth Italian Conference on Theoretical Computer Science ({ICTCS})},
  volume    = {2841},
  series    = {Lecture Notes in Computer Science},
  pages     = {23--36},
  publisher = {Springer},
  year      = {2003},
  doi       = {10.1007/978-3-540-45208-9_4}
}

@InBook{catsemll,
  author    = {Melli\`es, Paul-Andr\'e},
  title     = {Interactive models of computation and program behaviour},
  chapter   = {Categorical Semantics of Linear Logic},
  publisher = {Soci\'et\'e Math\'ematique de France},
  volume    = {27},
  pages     = {1--196},
  series    = {Panoramas et Synth\`eses},
  year      = {2009}
}

@PhdThesis{phdschellinx,
  author = {Schellinx, Harold},
  title  = {The Noble Art of Linear Decorating},
  school = {University of Amsterdam},
  type   = {Dissertation series of the {D}utch {I}nstitute for {L}ogic, {L}anguage and {C}omputation},
  note   = {ILLC-Dissertation Series, 1994-1},
  year   = {1994}
}