Structural proof theory by Sara Negri | Lex | Lex