Login / Signup

From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic.

Jeremy E. DawsonRanald CloustonRajeev GoréAlwen Tiu
Published in: IFIP TCS (2014)
Keyphrases