@article{SadrCoq,
  title = "Modal Linear Logic in Higher Order Logic, an experiment in Coq",
  author = "Mehrnoosh Sadrzadeh",
  year = "2003",
  journal = "Emerging Trends, TPHOLS, Rome, 2003.",
  location = "Rome",
  series = "Emerging Trends Proceedings of Theorem Proving in Higher Order Logics (TPHOLS)",
}