PLunch: Tait's Method: Termination for STLC
Ian Sweet
IRB 5237
Abstract
Weekly PL reading group discussing the paper "PLunch: Tait's Method: Termination for STLC". Discussion will be led by Ian Sweet.
Paper available here: http://www.cs.cmu.edu/~rwh/pfpl/supplements/tait.pdf
This talk is organized by Sankha Narayan Guria