Reduction- free normalisation for a polymorphic system (1996)

by T Altenkirch, M Hofmann, T Streicher
Venue:11th Annual IEEE LICS Symposium