@inproceedings{kalvala_depaiva-1995,
  title={Mechanizing linear logic in {Isabelle}},
  author={Kalvala, Sara and De Paiva, Valeria},
  booktitle={In 10th International Congress of Logic, Philosophy and Methodology of Science},
  volume={24},
  year={1995},
  organization={Citeseer}
}

@TechReport{bierman-1994,
  author = {Bierman, Gavin M.},
  title = {{On intuitionistic linear logic}},
  year = 1994,
  month = aug,
  institution = {University of Cambridge, Computer Laboratory},
  doi = {10.48456/tr-346},
  number = {UCAM-CL-TR-346}
}