A By-Level Analysis of Multiplicative Exponential Linear Logic.

Marco Gaboardi, Luca Roversi, Luca Vercelli

Browse the full MFCS paper archive.