[isabelle] linear logic in Isabelle



Hello, I was wondering if anyone can point me towards the various formalisations of linear logic in Isabelle.

(So far, I know only of the work by Sara Kalvala and Valeria de Paiva)

thankyou,
lucas





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.