Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic.

Patrick Baillot, Anupam Das

Browse the full CSL paper archive.