Reduction-free normalisation for a polymorphic system (1996)

by Thorsten Altenkirch, Martin Hofmann, Thomas Streicher
Venue:In 11th Annual IEEE Symposium on Logic in Computer Science