A Linear/Producer/Consumer Model of Classical Linear Logic

Jennifer Paykin, Steve Zdancewic

This paper defines a new proof- and category-theoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding…