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
G14
Old Quad
Parkville 3010
Australia
Organisers:
Shawn Standefer
University of Melbourne
Topic areas
Details
Greg Restall (Melbourne) will be giving a talk titled "Terms for Classical Sequents: Proof Invariants and Strong Normalisation"
Registration
No
Who is attending?
1 person is attending:
Will you attend this event?