Girard's normalization proof (1990)

by Stefano Berardi
Venue:in LEGO. DRAFT