First Page | Document Content | |
---|---|---|
Date: 2016-02-19 10:54:23Logic Mathematical logic Proof theory Abstraction Non-classical logic Logic in computer science Philosophical logic Model theory Sequent CurryHoward correspondence Intuitionistic logic Cut-elimination theorem | Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015Add to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source WebsiteFile Size: 473,68 KBShare Document on Facebook |