Iemhoff Rosalie. The role of uniform interpolation in structural proof theory