On proof normalisation (1994)

by D Galmiche, G Perrier
Venue:in Linear Logic. Theoretical Computer Science