Terms for Classical Sequents: Proof Invariants and Strong Normalisation

Room / venue details: G14
Address: Old Quad, Parkville - 3010, Australia