Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication

Authors

Henry DeYoung, Luis Caires, Frank Pfenning, Bernardo Toninho,