Jeremy Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu. From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. Josep Diaz; Ivan Lanese; Davide Sangiorgi. 8th IFIP International Conference on Theoretical Compu
HAL Archives-Ouvertes,
Jeremy Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu. From Display Calculi to Deep Nested Sequent Calculi: Formalised for…