Terms for Classical Sequents: Proof Invariants and Strong NormalisationGreg Restall (University of Melbourne)
May 6, 2016, 7:00am - 9:00am
Melbourne Logic Seminar, The University of Melbourne
University of Melbourne
Greg Restall (Melbourne) will be giving a talk titled "Terms for Classical Sequents: Proof Invariants and Strong Normalisation"