Lambda graphs with duplicators and start of Lamping's abstract algorithm - a podcast by Aaron Stump
from 2021-01-31T22:10:42.023393
::
::
In this episode I talk about how to represent lambda terms as graphs with duplicator nodes for splitting edges corresponding to bound variables. I also start discussing the beginning of Lampings' abstract algorithm for optimal beta-reduction, in...
Further episodes of Iowa Type Theory Commute
Further podcasts by Aaron Stump
Website of Aaron Stump