An Inverse of the Evaluation Functional for Typed lambda-calculus

Ulrich Berger, Helmut Schwichtenberg

Browse the full LICS paper archive.