Constant Time Reductions in Lambda-Caculus.

Michel Parigot, Paul Rozire

Browse the full MFCS paper archive.