Closed Reductions in the lambda-Calculus.

Maribel Fernndez, Ian Mackie

Browse the full CSL paper archive.