On Linear Modalities for Exchange, Weakening, and Contraction Harley Eades III and Jiaming Jiang Computer Science, Augusta University Computer Science, North Carolina State University Introduction. In 1987 Girard introdu

First Page		Document Content
Date: 2018-08-14 14:33:44		On Linear Modalities for Exchange, Weakening, and Contraction Harley Eades III and Jiaming Jiang Computer Science, Augusta University Computer Science, North Carolina State University Introduction. In 1987 Girard introdu Add to Reading List Source URL: metatheorem.org Download Document from Source Website File Size: 65,79 KB Share Document on Facebook