Linear Logic Without Boxes

Georges Gonthier, Martn Abadi, Jean-Jacques Lvy

Browse the full LICS paper archive.