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 introduAdd to Reading ListSource URL: metatheorem.orgDownload Document from Source WebsiteFile Size: 65,79 KBShare Document on Facebook |