log in  |  register  |  feedback?  |  help  |  web accessibility
PLunch: Tait's Method: Termination for STLC
Ian Sweet
IRB 5237
Tuesday, September 17, 2019, 11:00 am-12:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)

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