pi-RED+: A Compiling Graph-Reduction System for a Full-Fledged lambda-Calculus (1992)

by D. Gärtner , A. Kimms , W. Kluge