Linear logic without boxes (1992)

by Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
Venue:In Proc. 7th LICS