![](/img/cover-not-exists.png)
Call-by-value, call-by-name, and strong normalization for the classical sequent calculus
Stéphane LengrandVolume:
86
Year:
2003
Language:
english
Pages:
17
DOI:
10.1016/s1571-0661(05)82619-2
File:
PDF, 958 KB
english, 2003