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

Published in: IFIP TCS (2014)

Keyphrases