Linear Logic Without Boxes (1992)

by Georges Gonthier, Martín Abadi, Jean-Jacques Lévy