A graph-like lambda calculus for which leftmost-outermost reduction is optimal (1978)

by J Staples
Venue:In Graph Grammars and their Application, LNCS