Slides on Measure-Based Termination for STLC

I gave this talk at NEPLS this morning! It was fun, and seemed to get people curious about this problem.