Complexity of Strongly Normalising

Alexis Bernadet, Stphane Lengrand

Browse the full FOSSACS paper archive.