From reduction-based to reduction-free normalization (2008)

by O Danvy
Venue:Advanced Functional Programming, Sixth International School, number 5382 in Lecture Notes in Computer Science