On Proof Normalization in Linear Logic (1994)

by Didier Galmiche, Guy Perrier
Venue:THEORETICAL COMPUTER SCIENCE