
Lambda-Calculus and Combinators, an Introduction || Strong normalization proofs
Hindley, J. Roger, Seldin, Jonathan P.Volume:
10.1017/CB
Année:
2008
DOI:
10.1017/cbo9780511809835.020
Fichier:
PDF, 165 KB
2008