The Geometry of Optimal Lambda Reduction

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

Abstract

Research Areas