Gabriel Gonzalez Sep 19
Replying to @hillelogram
If you study Lamping's algorithm you'll find that even graphs are insufficiently general to model efficient functional computation. Optimal beta-reduction algorithms require a more sophisticated representation