@InProceedings{Laurent18,
  author    = {Olivier Laurent},
  title     = {Around Classical and Intuitionistic Linear Logics},
  booktitle = {Proceedings of the thirty-third annual {ACM/IEEE} symposium on {L}ogic {I}n {C}omputer {S}cience},
  publisher = {ACM},
  month     = jul,
  year      = {2018}
}