On proof normalization in linear logic (1994)

by D Galmiche, G Perrier
Venue:Theoretical Computer Science