Structural Proof Theory door Jan Von Plato, Aarne Ranta & Professor Sara Negri