Strong normalization property for second order linear logic