A Survey of Some Syntactic Results in the lambda-Calculus.

Grard Berry, Jean-Jacques Lvy

Browse the full MFCS paper archive.