The Geometry of Optimal Lambda Reduction

Georges Gonthier
Jean-Jacques Lévy
POPL (1992), pp. 15-26

Abstract