First Page | Document Content | |
---|---|---|
Date: 2017-08-04 11:45:45 | Linear logic as a logical framework by Dale Miller, Inria Abstract to be presented at SD 2017: Structures & Deduction Logical frameworks have seen three decades of design, theory, implementation, and applications. An earAdd to Reading ListSource URL: anupamdas.comDownload Document from Source WebsiteFile Size: 54,54 KBShare Document on Facebook |