Annotation-Free Sequent Calculi for full Intuitionistic Linear Logic

Clouston, RanaldDawson, JeremyGore, RajeevTiu, Alwen2015-12-10September9783939897606http://hdl.handle.net/1885/65778https://creativecommons.org/licenses/by/4.0/Annotation-Free Sequent Calculi for full Intuitionistic Linear Logic201310.4230/LIPIcs.CSL.2013.1972016-06-14Creative Commons License CC-BY