Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic.

Ranald Clouston, Jeremy E. Dawson, Rajeev Gor, Alwen Tiu

Browse the full CSL paper archive.