Provable Languages

April 1, 2015

The slides for my talk, “Are There Any Provable Real-World Languages”, I gave at Southampton University are here.