Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic.

Beniamino Accattoli

Browse the full LICS paper archive.