Reduction-free normalisation for a polymorphic system (1996)

by Thorsten Altenkirch, Martin Hofmann, Thomas Streicher
Venue:In LICS’96