Linear logic as a logical framework by Dale Miller, Inria Abstract to be presented at SD 2017: Structures - Miller - Document - PDFSEARCH.IO

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 ear Add to Reading List Source URL: anupamdas.com Download Document from Source Website File Size: 54,54 KB Share Document on Facebook