[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)


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