The Geometry of Optimal Lambda Reduction.

Georges Gonthier, Martn Abadi, Jean-Jacques Lvy

Browse the full POPL paper archive.