Jump to Content

The Geometry of Optimal Lambda Reduction

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

Abstract

Research Areas