The geometry of optimal lambda reduction, in (1992)

by G Gonthier, M Abadi, J-J Lévy
Venue:R. Sethi (Ed.), POPL, ACM Press