"Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication."

Henry DeYoung et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics