Reduction-Free Normalisation for a Polymorphic System

Thorsten Altenkirch, Martin Hofmann, Thomas Streicher. Reduction-Free Normalisation for a Polymorphic System. In LICS. pages 98-106, 1996.

Abstract

Abstract is missing.