IMELL Cut Elimination with Linear Overhead.

Beniamino Accattoli, Claudio Sacerdoti Coen

Browse the full FSCD paper archive.