@TechReport{LIPN-2001-Bec-RR,
 author       = {Denis B\'echet},
 title        = {Second order connectives and proof transformations
                 in linear logic},
 institution  = {Institut Galil\'ee, Universit\'e Paris 13},
 number       = {2001-06},
 month        = jun,
 year         = 2001
}