Cut reduction in linear logic as asynchronous session-typed communication. (2012)

by Henry DeYoung, Luıs Caires, Frank Pfenning, Bernardo Toninho
Venue:In CSL (LIPIcs), Vol. 16. Schloss Dagstuhl - LeibnizZentrum fuer Informatik,