Parameter-Passing and the Lambda Calculus

Erik Crank, Matthias Felleisen. Parameter-Passing and the Lambda Calculus. In POPL. pages 233-244, 1991.

Abstract

Abstract is missing.