Structural proof theory / - Negri, Sara, (Cambridge University Press,, 2001)