Duplicating redexes as the central problem of optimal reduction - a podcast by Aaron Stump

from 2021-01-31T22:10:42.023393

:: ::

We discussed last time how with a graph-sharing implementation of untyped lambda calculus, it can happen that you are forced to break sharing and copy a lambda abstraction. We discuss in this episode the central issue with doing that, namely copying...