On the computational complexity of cut-elimination in linear logic (0)

by H Mairson, K Terui
Venue:ICTCS, volume 2841 of LNCS