Simulating eta-expansions with beta-reductions in the Second-Order Polymorphic lambda-calculus.

Hongwei Xi

Browse the full LFCS paper archive.