[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