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

Henry DeYoung, Lus Caires, Frank Pfenning, Bernardo Toninho

Browse the full CSL paper archive.