Modal Linear Logic in Higher Order Logic‚ an experiment in Coq - Sadrzadeh, M (2003)