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

by Stéphane Lengrand
Venue:In ENTCS