Reduction-Free Normalisation for a Polymorphic System.

Thorsten Altenkirch, Martin Hofmann, Thomas Streicher

Browse the full LICS paper archive.