Apr 1989], "Combinator graph reduction: a congruence and its applications (0)

by D Lester
Venue:PhD Thesis, Programming Research Group