\contitem\title{Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic}\author{Ranald Clouston, Jeremy Dawson, Rajeev Gor\'e, and Alwen Tiu }\page{1}