Call-by-value, call-by-name, and strong normalization for the classical sequent calculus (0)

by S Lengrand
Venue:InWRS 2003, ENTCS